Formal techniques in real-time and fault-tolerant systems / Joseph,Mathai (ed.).
Material type: TextLanguage: English Series: Lecture notes in computer science; no 1926Publication details: Berlin: Springer, 2000. Edition: 6th international syDescription: x,306p;23cmISBN: 3540410554DDC classification: 004 LECItem type | Current library | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Reference Books | Central Library, TU Reference Book Section (Consult Shelf-Guide to locate the book) | Central Library, TU | Reference | 004 LEC (Browse shelf(Opens below)) | Not for loan | 14453 |
Total holds: 0
Includes bibliographical references.
There are no comments on this title.