Date and Time
Normal view MARC view ISBD view

Principles of model checking

by Baier, Christel; Katoen, Joost-Pieter.
Material type: materialTypeLabelBookPublisher: Cambridge, Massachusetts The MIT Press 2008Description: xvii, 963p. : ill. ; 26 cm.ISBN: 9780262026499 (hardcover : alk. paper); 026202649X (hardcover : alk. paper).Subject(s): Computer systems -- Verification | Computer software -- VerificationDDC classification: 004.24 B149P
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Notes Date due Barcode
Books Books Central Library, IISER Bhopal

 

OPAC URL: http://webopac.iiserb.ac.in/

Reference Section
Reference 004.24 B149P (Browse shelf) Not For Loan Reserve 8944
Books Books Central Library, IISER Bhopal

 

OPAC URL: http://webopac.iiserb.ac.in/

General Section
004.24 B149P (Browse shelf) Available 8947
Books Books Central Library, IISER Bhopal

 

OPAC URL: http://webopac.iiserb.ac.in/

General Section
004.24 B149P (Browse shelf) Checked out to Chandrima Barua (2310701) 01/05/2024 8946
Books Books Central Library, IISER Bhopal

 

OPAC URL: http://webopac.iiserb.ac.in/

Reference Section
Reference 004.24 B149P (Browse shelf) Not For Loan Reserve 8945
Books Books Central Library, IISER Bhopal

 

OPAC URL: http://webopac.iiserb.ac.in/

General Section
004.24 B149P (Browse shelf) Available 8140
Books Books Central Library, IISER Bhopal

 

OPAC URL: http://webopac.iiserb.ac.in/

Reference Section
Reference 004.24 B149P (Browse shelf) Not For Loan Reserve 8137
Books Books Central Library, IISER Bhopal

 

OPAC URL: http://webopac.iiserb.ac.in/

General Section
004.24 B149P (Browse shelf) Available 8139
Books Books Central Library, IISER Bhopal

 

OPAC URL: http://webopac.iiserb.ac.in/

General Section
004.24 B149P (Browse shelf) Available 8142
Books Books Central Library, IISER Bhopal

 

OPAC URL: http://webopac.iiserb.ac.in/

General Section
004.24 B149P (Browse shelf) Available 8138
Books Books Central Library, IISER Bhopal

 

OPAC URL: http://webopac.iiserb.ac.in/

General Section
004.24 B149P (Browse shelf) Available 8141
Books Books Central Library, IISER Bhopal

 

OPAC URL: http://webopac.iiserb.ac.in/

Reference Section
Reference 004.24 B149P (Browse shelf) Not For Loan Reserve 8014

Includes bibliographical references (p. 931-964) and index.

There are no comments for this item.

Log in to your account to post a comment.



Contact for Queries: skpathak@iiserb.ac.in

Powered by Koha