Principles of model checking
By: Baier, Christel.
Contributor(s): Katoen, Joost-Pieter.
Material type:
BookPublisher: Cambridge: MIT Press, 2008Description: xvii, 975 p.; ill.: 26 cm.ISBN: 9780262026499 .Subject(s): System Verification | Concurrent | Linear | Tree Logic | TCTL | ROBDDDDC classification: 004.24
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004.24 BAI (Browse shelf) | Available | 019864 |
Browsing DAIICT Shelves Close shelf browser
| 004.22 WIL Computer systems architecture : networking approach | 004.22 WOD Information architecture: Blueprints for the web | 004.24 AMM Introduction to software testing | 004.24 BAI Principles of model checking | 004.24 BLU Software exorcism : a handbook for debugging and optimizing legacy code | 004.24 DIM Debugger?s handbook | 004.24 FOR Computer systems performance evaluation and prediction |
There are no comments for this item.