Skip to Main Content (Press Enter)
Principles of Model Checking by Christel Baier and Joost-Pieter Katoen
Add Principles of Model Checking to bookshelf
Add to Bookshelf

Principles of Model Checking

Best Seller
Principles of Model Checking by Christel Baier and Joost-Pieter Katoen
Hardcover $80.00
Apr 25, 2008 | ISBN 9780262026499

Buy from Other Retailers:

  • $80.00

    Apr 25, 2008 | ISBN 9780262026499

    Buy from Other Retailers:

Product Details

Praise

This is an impressive piece of work…The book can be used as a kind of reference manual for the classical basis of model checking for lecturers, who will be able to select some parts in order to construct a coherent and complete lecture on automatic verification; and of course for students, who will find many explanations, motivations, examples, and proofs to help them discover this very active research area.—François Laroussinie, The Computer Journal

Looking for More Great Reads?
21 Books You’ve Been Meaning to Read
Back to Top