Image from Amazon.com
Model checking
Material type:
BookPublication details: london: MIT Press, 1999.Description: xiv, 314 p.: ill; 23cmISBN: - 9780262032704
- 004.21 CLA
| Item type | Current library | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
IIT Gandhinagar | General | 004.21 CLA (Browse shelf(Opens below)) | Available | 004073 |
Browsing IIT Gandhinagar shelves Close shelf browser (Hides shelf browser)
|
No cover image available |
|
|
|
|
|
||
| 621.317 RAN Fundamentals of power electronics with MATLAB | 621.381 ERI Fundamentals of power electronics | 621.3815 KIN Synchronization and arbitration in digital systems | 004.21 CLA Model checking | 511.3 DAV Computability and unsolvability | 570.285 YES Bioinformatics : a practical approach | 621.31 KUS Computer-aided power systems analysis |
Includes bibliographical references and index
There are no comments on this title.