Image from Amazon.com
Principles of model checking
Material type:
TextLanguage: English Publication details: Cambridge, Mass. [u.a.] MIT Press 2008Description: XVII, 975 pages, graphic representation, 26 cmISBN: - 9780262026499 (hardcover)
- 004.2/4
- 004.24
- QA76.76.V47
- 54.10
- ST 233
- mat
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
Book
|
Library | 004-2008 (Browse shelf(Opens below)) | Checked out | 15/12/2025 | AT-ISTA#000011 |
Total holds: 0
bibliography: pages 931 - 964