Skip to Main Content (Press Enter) Toggle side nav
Principles of Model Checking by Christel Baier and Joost-Pieter Katoen
Add 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:

  • Apr 25, 2008 | ISBN 9780262026499

    Buy from Other Retailers:

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

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
Be the first to know!
And go from well-read to best read with book recs, deals and more in your inbox every week.
And go from well-read to best read with book recs, deals and more in your inbox every week.
By clicking SIGN UP, I acknowledge that I have read and agree to Penguin Random House’s Privacy Policy and Terms of Use.
Dismiss
Thanks!
Something awesome is on its way.
Back to Top