Real-time Systems Formal Specification and Automatic Verfication
By: OLDEROG, Ernst-Rudiger.
Contributor(s): Henning Dierks.
Material type:
TextPublisher: United State of America Cambridge 2008Description: xvi,320pp Illustration 25cm.ISBN: 9780521883337.Subject(s): DDC classification: 004.33 OLD
| Item type | Current location | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
TUNGUU REFERENCE LIBRARY
Welcome to SUZA Reference Library |
Reference | 004.33 OLD (Browse shelf) | Available | R000014677 |
There are no comments for this item.