Principle 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 LIB-AW | 004.24 (Browse shelf(Opens below)) | Available | E1346 |
