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
Browsing Central Library, IISER Bhopal Shelves , Shelving location: General Section Close shelf browser
004.22 St1C11 Computer organization and architecture : 004.22 St1C11 Computer organization and architecture : 004.24 B149P Principles of model checking 004.24 B149P Principles of model checking 004.24 B149P Principles of model checking 004.24 B149P Principles of model checking 004.24 B149P Principles of model checking

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