Skip to Main Content (Press Enter) Toggle side nav

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

Also available from:

  • Apr 25, 2008 | ISBN 9780262026499

    Also available from:

*This title is not eligible for purchase to earn points nor for redemption with your code in the Reader Rewards program

Product Details


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

Be the first to know!
Great book picks are waiting
Great book picks are waiting
By clicking SIGN UP, I acknowledge that I have read and agree to Penguin Random House’s Privacy Policy and Terms of Use.
Something awesome is on its way.
Back to Top