Real-Time Systems: Formal Specification and Automatic Verification
Material type: TextPublication details: Cambridge Cambridge University Press 2008Description: xvi, 320 p. 25 cmISBN:- 9780521883337
- 004.33 OLD
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Reference Books | LRC, IIT Indore 3rd Floor - Reference Collection | Reference | 004.33 OLD (Browse shelf(Opens below)) | Not For Loan | 10527 |
Total holds: 0