Loading...

Principles of model checking /

Bibliographic Details
Main Author: Baier, Christel
Other Authors: Katoen, Joost-Pieter
Format: Printed Book
Language:English
Published: Cambridge, Mass. : The MIT Press, [2012
Subjects:
Online Access:http://www.loc.gov/catdir/toc/ecip0727/2007037603.html
Description
Physical Description:xvii, 975 p. :
ISBN:9780262026499 (hardcover : alk. paper)
026202649X (hardcover : alk. paper)