Books
ISBN: 9783642093449
Edition
ISBN:
3642093442 /
ISBN-13:
9783642093449
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Paperback,
Very Good
Decision Procedures: an Algorithmic Point of View (Texts in Theoretical Computer Science. an Eatcs Series)
by R. E. Bryant Daniel Kroening, Ofer Strichman, Ofer Strichman
2010, Springer
ISBN-13:
9783642093449
See Item Details ▾
HPB-Ruby
HIGH
Dallas,
TX,
USA
$66.55
Details:
ISBN:
3642093442
ISBN-13:
9783642093449
Publisher:
Springer
Published:
2010
Language:
English
Alibris ID:
17738055206
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
Hide Details ▴
Paperback,
Good
Decision Procedures: an Algorithmic Point of View (Texts in Theoretical Computer Science. an Eatcs Series)
by Ofer Strichman R. E. Bryant Daniel Kroening
2010, Springer
ISBN-13:
9783642093449
See Item Details ▾
Bonita
HIGH
Newport Coast,
CA,
USA
$118.73
Edition:
2010, Springer
Paperback,
Good
Details:
ISBN:
3642093442
ISBN-13:
9783642093449
Publisher:
Springer
Published:
2010
Language:
English
Alibris ID:
17932898570
Shipping Options:
Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴