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
All.
There are no comments on this title.