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

AuthorKroening, Daniel

CategoryKindle Edition

Shop on Amazon — choose your country

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

40.83 54.99 USD

Buy New on Amazon 🇺🇸

Available for download now

Book Details

Author(s)Kroening, Daniel

ISBN / ASINB01MYUZDR9

ISBN-13978B01MYUZDR9

AvailabilityAvailable for download now

CategoryKindle Edition

MarketplaceUnited States 🇺🇸

More Books in Kindle Edition

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

Book Details

More Books in Kindle Edition

More Books by Kroening, Daniel