Model checking [Book] E. M. Clarke.
Material type:
TextPublication details: The MIT Press LondonISBN: - 262032708
- 004.21
- 004.21
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Books
|
COMSATS University Abbottabad Campus | 004.21 CLA (Browse shelf(Opens below)) | Available | 10003000030411 | ||
|
Books
|
COMSATS University Abbottabad Campus | 004.21 CLA (Browse shelf(Opens below)) | Available | 10003000030412 | ||
|
Books
|
COMSATS University Abbottabad Campus | 004.21 CLA (Browse shelf(Opens below)) | Available | 10003000030413 | ||
|
Books
|
COMSATS University Abbottabad Campus | 004.21 CLA (Browse shelf(Opens below)) | Available | 10003000030414 | ||
|
Books
|
COMSATS University Abbottabad Campus | 004.21 CLA (Browse shelf(Opens below)) | Available | 10003000030415 |
Total holds: 0
Browsing COMSATS University Abbottabad Campus shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available | No cover image available |
|
No cover image available | ||
| 004.21 CLA Model checking | 004.21 CLA Model checking | 004.21 CLA Model checking | 004.21 CLA Model checking | 004.21 CLA Model checking | 004.21 COM Essentials of computer architecture | 004.21 DEN Systems analysis and design an applied approach |
All.
There are no comments on this title.