Model Checking / by E. M. Clarke.
Material type: TextPublication details: Cambridge, Mass. : MIT Press, 1999.Description: xiv, 314 p. : illISBN:- 9780260032704
- 004.21 22 CLA/M
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 | 004.21 CLA/M (Browse shelf(Opens below)) | Available | 7048 |
Total holds: 0
Browsing Central Library, IIT Bhubaneswar shelves Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
004.2 KOR/F Fault-tolerant systems / | 004.2 KOR/F Fault-tolerant systems / | 004.2 WEN/H Heterogeneous system architecture : | 004.21 CLA/M Model Checking / | 004.21 DAS/E Embedded systems : | 004.21 DAV/E Embedded systems : concepts design & programming / | 004.21 SEN/A Analysis and design of information systems / |
Include Index
There are no comments on this title.
Log in to your account to post a comment.