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 |