https://www.ebooknetworking.net/books_detail-3540741046.html

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: Daniel Kroening, Ofer Strichman
ISBN: 9783540741046

AuthorDaniel Kroening, Ofer Strichman

PublisherSpringer

Shop on Amazon — choose your country

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

Buy New on Amazon 🇮🇳

Book Details

Author(s)Daniel Kroening, Ofer Strichman

PublisherSpringer

ISBN / ASIN3540741046

ISBN-139783540741046

MarketplaceIndia 🇮🇳