Image from Amazon.com
Principles of model checking [Book] Christel Baier.
Material type:
TextPublication details: Massachusetts Institute of Technology (MIT)ISBN: - 9780262026499
- 004.24
- 004.24
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Books
|
COMSATS University Abbottabad Campus | 004.24 BAI (Browse shelf(Opens below)) | Available | 10003000030426 | ||
|
Books
|
COMSATS University Abbottabad Campus | 004.24 BAI (Browse shelf(Opens below)) | Available | 10003000030427 | ||
|
Books
|
COMSATS University Abbottabad Campus | 004.24 BAI (Browse shelf(Opens below)) | Available | 10003000030428 | ||
|
Books
|
COMSATS University Abbottabad Campus | 004.24 BAI (Browse shelf(Opens below)) | Available | 10003000030429 | ||
|
Books
|
COMSATS University Abbottabad Campus | 004.24 BAI (Browse shelf(Opens below)) | Available | 10003000030430 |
Total holds: 0
Browsing COMSATS University Abbottabad Campus shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
No cover image available | ||
| 004.24 BAI Principles of model checking | 004.24 BAI Principles of model checking | 004.24 BAI Principles of model checking | 004.24 BAI Principles of model checking | 004.24 BAI Principles of model checking | 004.256 EDW Embedded system design on a shoestring achieving high performance with limited budget | 004.256 LAB Embedded systems building blocks complete and ready-to-use modules in C |
All.
There are no comments on this title.