Principles of model checking Christel Baier, Joost-Pieter Katoen.
Publication details: Cambridge, Massachusetts The MIT Press 2008Description: xvii, 963p. : ill. ; 26 cmISBN:- 9780262026499 (hardcover : alk. paper)
- 026202649X (hardcover : alk. paper)
- 004.24 B149P 23
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
Central Library, IISER Bhopal Reference Section | Reference | 004.24 B149P (Browse shelf(Opens below)) | Not For Loan | Reserve | 8944 | ||
|
Books
|
Central Library, IISER Bhopal General Section | 004.24 B149P (Browse shelf(Opens below)) | Available | 8947 | ||||
|
Books
|
Central Library, IISER Bhopal General Section | 004.24 B149P (Browse shelf(Opens below)) | Available | 8946 | ||||
|
Books
|
Central Library, IISER Bhopal Reference Section | Reference | 004.24 B149P (Browse shelf(Opens below)) | Not For Loan | Reserve | 8945 | ||
|
Books
|
Central Library, IISER Bhopal General Section | 004.24 B149P (Browse shelf(Opens below)) | Available | 8140 | ||||
|
Books
|
Central Library, IISER Bhopal Reference Section | Reference | 004.24 B149P (Browse shelf(Opens below)) | Not For Loan | Reserve | 8137 | ||
|
Books
|
Central Library, IISER Bhopal General Section | 004.24 B149P (Browse shelf(Opens below)) | Available | 8139 | ||||
|
Books
|
Central Library, IISER Bhopal General Section | 004.24 B149P (Browse shelf(Opens below)) | Available | 8142 | ||||
|
Books
|
Central Library, IISER Bhopal General Section | 004.24 B149P (Browse shelf(Opens below)) | Available | 8138 | ||||
|
Books
|
Central Library, IISER Bhopal General Section | 004.24 B149P (Browse shelf(Opens below)) | Available | 8141 | ||||
|
Books
|
Central Library, IISER Bhopal Reference Section | Reference | 004.24 B149P (Browse shelf(Opens below)) | Not For Loan | Reserve | 8014 |
Includes bibliographical references (p. 931-964) and index.
There are no comments on this title.
Log in to your account to post a comment.