Image from Google Jackets

Model checking Edmund M Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith.

By: Contributor(s): Material type: TextTextSeries: The cyber-physical systems seriesPublication details: Cambridge: The MIT Press, 2018.Edition: Second editionDescription: xx, 402 pages ; 24 cmISBN:
  • 9780262038836 (hardcover : alk. paper)
Subject(s): DDC classification:
  • 004.21 C551M2 23
LOC classification:
  • QA76.76.V47 C553 2018
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Notes Date due Barcode
Books 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 M549Q Quantum computer science: 004.1 Q25 Quantum error correction 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.

to post a comment.


Contact for Queries: skpathak@iiserb.ac.in