Skip to Main Content (Press Enter) Toggle side nav
Model Checking, second edition by Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith

Model Checking, second edition

Best Seller
Model Checking, second edition by Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith
Hardcover $75.00
Dec 04, 2018 | ISBN 9780262038836

Also available from:

See All Formats (1) +
  • Dec 04, 2018 | ISBN 9780262038836

    Also available from:

  • Dec 04, 2018 | ISBN 9780262349451

    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

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.
Dismiss
Thanks!
Something awesome is on its way.
Back to Top