Skip to Main Content (Press Enter)
Model Checking, second edition by Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith
Add Model Checking, second edition to bookshelf
Add to Bookshelf
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

Buy from Other Retailers:

See All Formats (1) +
  • $75.00

    Dec 04, 2018 | ISBN 9780262038836

    Buy from Other Retailers:

  • Dec 04, 2018 | ISBN 9780262349451

    Buy from Other Retailers:

Product Details

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