https://www.ebooknetworking.net/books_detail-3662570653.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: Kroening, Daniel
ISBN: 9783662570654

AuthorKroening, Daniel

PublisherSpringer

CategoryPaperback

Shop on Amazon — choose your country

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

42.98 USD

Buy New on Amazon 🇺🇸

Book Details

Author(s)Kroening, Daniel

PublisherSpringer

ISBN / ASIN3662570653

ISBN-139783662570654

CategoryPaperback

MarketplaceUnited States 🇺🇸

More Books in Paperback

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

Book Details

More Books in Paperback

More Books by Kroening, Daniel