HTML5 Icon

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/P
Item type Current location Call number Status Date due Barcode
Book Book Central Library
General Stack (Sahyadri Campus)
004.24 BAI/P Available 06654
Book Book Central Library
General Stack (Sahyadri Campus)
004.24 BAI/P Available 06653
Book Book Central Library
General Stack (Sahyadri Campus)
004.24 BAI/P Available 06655

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.