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 | No cover image available |
|
|
|
|
|
||
| 004.22 TAN Structured computer organization | 004.22 TAN Structured computer organization | 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 |
All.
There are no comments on this title.