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 |
Browsing University of Information Technology shelves, Shelving location: LIB-P Close shelf browser (Hides shelf browser)
004.24 Principles of Model Checking | 004.24 Principles of Model Checking | 004.24 Principles of Model Checking | 004.24 Principles of Model Checking | 004.35 CUDA For Engineers | 004.35 CUDA For Engineers | 004.35 CUDA For Engineers |