Temporal verification of reactive systems : safety / by Zohar Manna.
Material type: TextPublication details: New York : Springer, 1995.Description: xviii, 512 p. : illISBN:- 9780387944593
- 005.2 22 MAN/T
Item type | Current library | Home library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
Technical Reference Book | Central Library, IIT Bhubaneswar | Central Library, IIT Bhubaneswar | 005.2 MAN/T (Browse shelf(Opens below)) | Available | 7432 |
Total holds: 0
Browsing Central Library, IIT Bhubaneswar shelves Close shelf browser (Hides shelf browser)
005.2 CAR/F File system forensic analysis / | 005.2 CAR/F File system forensic analysis / | 005.2 CAR/F File system forensic analysis / | 005.2 MAN/T Temporal verification of reactive systems : | 005.2 MAR/C Cyber forensics : from data to digital evidence / | 005.2 MAR/C Cyber forensics : from data to digital evidence / | 005.262 BAL/O Object-oriented programming with C++ / |
Include Index
There are no comments on this title.
Log in to your account to post a comment.