Formal techniques in real-time and fault-tolerant systems / Roever,W.P.de.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
Central Library, TU Reference Book Section (Consult Shelf-Guide to locate the book) | Central Library, TU | Reference | 004.2 LAN (Browse shelf(Opens below)) | Not for loan | 6366 |
Total holds: 0
Browsing Central Library, TU shelves, Shelving location: Reference Book Section (Consult Shelf-Guide to locate the book), Collection: Reference Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
004.03 RAL Encyclopedia of computer science / | 004.16 JAI Microprocessor data handbook / | 004.19 VAA Hybrid systems: computation and control / | 004.2 LAN Formal techniques in real-time and fault-tolerant systems / | 004.21 DAV The information system consultant's handbook : | 004.21 EGA Practical RF system design / | 004.21 MAG System configuration management / |
Includes bibliographical references.
There are no comments on this title.