Description: Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings ... Computer Science and General Issues, 4501)by Marques-Silva, Joao, Sakallah, Karem A. Description: It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.Product ID: 3540727876-8-1
Price: 47.7 USD
Location: Philadelphia, Pennsylvania
End Time: 2025-01-07T17:27:51.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Seller
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Theory and Applications of Satisfiability Testing - SAT 2007: 10t
Number of Pages: Xii, 388 Pages
Publication Name: Theory and Applications of Satisfiability Testing - Sat 2007 : 10th International Conference, Lisbon, Portugal, May 2007 - Proceedings
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2007
Subject: Programming / Algorithms, Operating Systems / General, Decision-Making & Problem Solving, Computer Science, Calculus, Algebra / General
Item Height: 0.4 in
Item Weight: 44.1 Oz
Type: Textbook
Item Length: 9.3 in
Author: Karem A. Sakallah
Subject Area: Mathematics, Computers, Education
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
