Principles of model checking
By: Baier, Christel
Contributor(s): Katoen, Joost-Pieter
Language: English Publisher: Cambridge The MIT Press 2008Description: xvii, 963pISBN: 9780262026499 Subject(s): Computer systems-Verification | Computer software-VerificationDDC classification: 004.24 BAI/PItem type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Book | Central Library General Stack (Sahyadri Campus) | 004.24 BAI/P | Available | 06654 | ||
Book | Central Library General Stack (Sahyadri Campus) | 004.24 BAI/P | Available | 06653 | ||
Book | Central Library General Stack (Sahyadri Campus) | 004.24 BAI/P | Available | 06655 | ||
Book | Central Library General Stack (Sahyadri Campus) | 004.24 BAI/P | Available | 03281 | ||
Reference | Central Library Reference (Sahyadri Campus) | Reference | 004.24 BAI/P | Not for loan | 03279 | |
Book | Central Library General Stack (Sahyadri Campus) | 004.24 BAI/P | Available | 03280 |