Model Checking
Material type: TextLanguage: English Publication details: MIT Press c1999 Edition: Description: xiv, 314pISBN: 9780262032704 (HB)Subject(s): Computer systems – VerificationDDC classification: 004.21 CLA(MOD)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 004.21 CLA(MOD) (Browse shelf(Opens below)) | 1 | Available | 20077 |
Total holds: 0
bill No.SAR/01/2014; dt 08-04-2014
There are no comments on this title.