Image from Amazon.com
Principles of model checking / Christel Baier, Joost-Pieter Katoen.
Material type:
TextLanguage: English Publication details: Cambridge, Mass. : The MIT Press, [2012Description: xvii, 975 pISBN: - 9780262026499 (hardcover : alk. paper)
- 026202649X (hardcover : alk. paper)
- 51 BAI
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Department of Computer Science General Stacks | 51 BAI (Browse shelf(Opens below)) | Available | MCS05105 |
Browsing Department of Computer Science shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 0471828130 PAR Handbook of software maintenance | 51 ARO Linear Programming | 51 ARO Linear Programming | 51 BAI Principles of model checking / | 51 BEN Mathematical Logic for Computer Science | 51 BHA Intermediate Mathematical Analysis | 51 JAM Advanced modern engineering mathematics / |
There are no comments on this title.