Principles of model checking
Material type: TextPublication details: The MIT Press 2008 Description: 975Subject(s): Computer systems --Verification | Computer software --VerificationItem type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Reference | Central Library | 004.24 BAI(PRI) (Browse shelf(Opens below)) | 1 | Not for loan | 5194 |
Total holds: 0
SAR/39/08/26-08-08
There are no comments on this title.