Model checking Edmund M Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith.
Series: The cyber-physical systems seriesPublication details: Cambridge: The MIT Press, 2018.Edition: Second editionDescription: xx, 402 pages ; 24 cmISBN:- 9780262038836 (hardcover : alk. paper)
- 004.21 C551M2 23
- QA76.76.V47 C553 2018
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
Central Library, IISER Bhopal Reference Section | Reference | 004.21 C551M2 (Browse shelf(Opens below)) | Not For Loan | Reserve | 10569 |
Browsing Central Library, IISER Bhopal shelves, Shelving location: Reference Section, Collection: Reference Close shelf browser (Hides shelf browser)
| 004.1 Sa71A Advanced computer architecture | 004.1 Sa71N Next-Gen Computer architecture: till the end of silicon-version 2.0 | 004.1 W670E2 Explorations in quantum computing | 004.21 C551M2 Model checking | 004.21 C55M Model checking | 004.22 H32C3 Computer architecture and organization | 004.22 M317C3 Computer system architecture |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.