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

Buy New on Amazon 🇮🇳

Price not available for India

You can still browse on Amazon. Try another country above.

🇨🇦 Canada 🇺🇸 USA

Book Details

Author(s) Kroening, Daniel

ISBN / ASIN B01MYUZDR9

ISBN-13 978B01MYUZDR9

Category Kindle Edition

Marketplace India 🇮🇳

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