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

Author Kroening, Daniel

Publisher Springer

Category Paperback

Shop on Amazon — pick your country

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

42.98 64.99 -34% USD

Buy New on Amazon 🇺🇸

In Stock

Book Details

Author(s) Kroening, Daniel

Publisher Springer

ISBN / ASIN 3662570653

ISBN-13 9783662570654

Availability In Stock

Category Paperback

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 Paperback

More Books by Kroening, Daniel