Buy on Amazon
https://www.ebooknetworking.net/books_detail-3662504960.html
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Book Details
Author(s)Kroening, Daniel
PublisherSpringer
ISBN / ASIN3662504960
ISBN-139783662504963
AvailabilityOnly 4 left in stock - order soon.
CategoryHardcover
MarketplaceUnited States 🇺🇸











