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

By:

Contributor(s):

Material type: Text

TextLanguage: English Publication details: Cambridge, Mass. : The MIT Press, [2012Description: xvii, 975 pISBN:

Subject(s):

DDC classification:

Online resources:

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Department of Computer Science General Stacks	51 BAI (Browse shelf(Opens below))	Available		MCS05105

There are no comments on this title.

to post a comment.