Daniel Kroening

Books By Daniel Kroening

Books by Daniel Kroening

Model Checking

Daniel Kroening

$7.09 - $8.19

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ...

Daniel Kroening

$59.87

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Daniel Kroening

$64.99 - $89.99

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2026 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks^® and the ThriftBooks^® logo are registered trademarks of Thrift Books Global, LLC

Daniel Kroening

Books by Daniel Kroening

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us