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: TextTextSeries: 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
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

Includes bibliographical references and index.