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

Name: Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Author: Kroening, Daniel
ISBN: 978B01MYUZDR9

Author Kroening, Daniel

Category Kindle Edition

Shop on Amazon — pick your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

40.83 54.99 -26% USD

Buy New on Amazon 🇺🇸

Available for download now

Book Details

Author(s) Kroening, Daniel

ISBN / ASIN B01MYUZDR9

ISBN-13 978B01MYUZDR9

Availability Available for download now

Category Kindle Edition

Marketplace United States 🇺🇸

Ratings & Reviews No reviews yet — be the first!

No reviews yet.

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

More Books in Kindle Edition

More Books by Kroening, Daniel