Normal view MARC view ISBD view

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

By: Clarke, Edmund M., Jr. (Edmund Melson), 1945- [author.].

Material type: Text

TextSeries: The cyber-physical systems series.Publisher: Cambridge, Massachusetts : The MIT Press, 2018Edition: Second edition.Description: xx, 402 pages ; Rs. 5125.00 24 cm.Content type: text Media type: unmediated Carrier type: volumeISBN: 9780262038836 (hardcover : alk. paper).Subject(s): Computer systems -- VerificationDDC classification: 004.2/1

List(s) this item appears in: 2020-02-17

Holdings ( 1 )
Title notes

Item type	Current location	Call number	Status	Date due	Barcode	Item holds
Book	Chennai Mathematical Institute General Stacks	005.14 CLA (Browse shelf)	Checked out	07/06/2021	10770

Total holds: 0

Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser

Previous								Next
Previous	005.133 PER Python 3 text processing with NLTK 3 cookbook : over 80 practical recipes on natural language processing techniques using Python's NLTK 3.0 /	005.133 WAL Java : the good parts /	005.133 WEL Essentials of programming in Mathematica /	005.14 CLA Model checking /	005.14 DEN Semantics of probabilistic processes. an operational approach.	005.14 KRO Decision procedures : an algorithmic point of view /	005.43 ANT Mastering Ethereum : building smart contracts and DApps /	Next

Includes bibliographical references and index.

CMI Library

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

By: Clarke, Edmund M., Jr. (Edmund Melson), 1945- [author.].

Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser