Principles of Model Checking
Publication details: London The MIT Press 2008ISBN:- 9780262026499
- 004.24
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | University of Information Technology FIS_Dept | 004.24 (Browse shelf(Opens below)) | Available | E744C1 | |
| Books | University of Information Technology LIB-P | 004.24 (Browse shelf(Opens below)) | Available | E744C2 | |
| Books | University of Information Technology LIB-P | 004.24 (Browse shelf(Opens below)) | Available | E744C3 | |
| Books | University of Information Technology LIB-P | 004.24 (Browse shelf(Opens below)) | Available | E744C4 | |
| Books | University of Information Technology LIB-P | 004.24 (Browse shelf(Opens below)) | Available | E744C5 |
