Principles of model checking
By: Baier, Christel
Contributor(s): Katoen, Joost-Pieter
Language: English Publisher: Cambridge The MIT Press 2008Description: xvii, 963pISBN: 9780262026499Subject(s): Computer systems-Verification | Computer software-VerificationDDC classification: 004.24 BAI/PItem type | Current location | 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 |