Buy on Amazon
https://www.ebooknetworking.net/books_detail-3662570653.html
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Book Details
Author(s)Kroening, Daniel
PublisherSpringer
ISBN / ASIN3662570653
ISBN-139783662570654
AvailabilityIn Stock
CategoryPaperback
MarketplaceUnited States 🇺🇸











