Model checking
By: Clarke, Edmund M.
Material type:
BookPublisher: Cambridge: The MIT Press, 2002Description: 314 p.; Illus. Index.: 23 cm.ISBN: 0262032708 .Subject(s): Computer systems-verification | Systems Analysis & DesignDDC classification: 004.21
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004.21 CLA (Browse shelf) | Available | 006954 |
Browsing DAIICT Shelves Close shelf browser
| 004.21 CHA Embedded system design | 004.21 CHA Embedded system design | 004.21 CHA Embedded system design | 004.21 CLA Model checking | 004.21 CRA Designing collaborative systems : a practical guide to ethnography | 004.21 DAU System architecture with XML | 004.21 DEN Systems analysis and design with UML version 2.0 : an object-oriented approach |
There are no comments for this item.