Amazon cover image
Image from Amazon.com

Principles of model checking / Christel Baier, Joost-Pieter Katoen.

By: Contributor(s): Material type: TextTextLanguage: English Publication details: Cambridge, Mass. : The MIT Press, [2012Description: xvii, 975 pISBN:
  • 9780262026499 (hardcover : alk. paper)
  • 026202649X (hardcover : alk. paper)
Subject(s): DDC classification:
  • 51 BAI
Online resources:
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

There are no comments on this title.

to post a comment.

University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India