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:
Computer systems > Verification.
Computer software > Verification.
Online Access:http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

Internet

http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

DCS

Holdings details from DCS
Call Number: 51 BAI
Copy Live Status Unavailable

Similar Items