Real-Time Systems Formal Specification and Automatic Verification Henning Dierks
Material type:
TextPublisher: Germany Cambridge 2008ISBN: 978-0-521-88333-7LOC classification: 519.2HEN
| Item type | Current location | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | Available | RCMS002619 | |||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | Available | RCMS002621 | |||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | Available | RCMS002622 | |||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | Available | RCMS002623 | |||
|
Book
|
School of Interdisciplinary Engineering and Sciences (SINES) | School of Interdisciplinary Engineering and Sciences (SINES) | General Stacks | Available | RCMS002624 |
Total holds: 0
There are no comments on this title.