Description: Used item in good condition. Stock photo may be different from actual cover. [html_block_1] Issue with your order? Send us a message via eBay. NEW PRODUCTS WEEKLY | EVERYDAY LOW PRICES | QUICK SHIPPING -->
Price: 48.74 USD
Location: Denver, Colorado
End Time: 2024-11-30T00:07:49.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Release Year: 2017
Book Title: Decision Procedures: An Algorithmic Point of View (Texts in Th...
Number of Pages: Xxi, 356 Pages
Publication Name: Decision Procedures : an Algorithmic Point of View
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2017
Subject: Software Development & Engineering / General, Decision-Making & Problem Solving, Computer Science, Algebra / General, Logic, Optimization
Item Weight: 244.1 Oz
Type: Textbook
Author: Ofer Strichman, Daniel Kroening
Subject Area: Mathematics, Computers, Business & Economics
Item Length: 9.3 in
Item Width: 6.1 in
Series: Texts in Theoretical Computer Science. an Eatcs Ser.
Format: Hardcover
