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) Checked out to Porus Vaid (21208) 26/02/2024 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) 30/12/2023 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) Checked out to Shounak Saha (2310708) 27/03/2024 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) Checked out to M Kaushik (21157) 05/03/2024 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: Reference Section , Collection code: Reference Close shelf browser
004.22 St1C11 Computer organization and architecture : 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

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