Model Checking
Language: English Publication details: Cambridge The MIT Press 1999 2001Description: xiv, 314p. IllustrationISBN:- 0262032708
- 004.21Â CLA
Reference Books
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
|
Reference Books
|
Main Library Reference Section | Reference Collection | 004.21 CLA (Browse shelf(Opens below)) | Available | 450853 |
Total holds: 0
Browsing Main Library shelves, Shelving location: Reference Section, Collection: Reference Collection Close shelf browser (Hides shelf browser)
| 004.19 RAJ Analog computation and simulation | 004.2 HAY Computer architecture and organization | 004.2 SHI Computer organization, design, and architecture | 004.21 CLA Model Checking | 004.21 DEN Systems analysis and design | 004.21 FOW UML Disitilled a brief guide to the standard object modeling language | 004.21 HSI Reconfigurable system design and verification |
There are no comments on this title.
Log in to your account to post a comment.