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

By:

Contributor(s):

Material type: Text

TextSeries: The cyber-physical systems seriesPublication details: Cambridge: The MIT Press, 2018.Edition: Second editionDescription: xx, 402 pages ; 24 cmISBN:

Subject(s):

DDC classification:

LOC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
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

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.