Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
by Joao Marques-Silva
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
| Publisher: | Springer |
| Published In: | 18-May-2007 |
| ISBN-10: | 3540727876 |
| ISBN-13: | 9783540727873 |
| Binding Type: | Paperback |
| Weight: | 1.62 lbs |
| Pages: | pp. 404, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss |
The Title "Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings 1st Edition" is written by Joao Marques-Silva. This book was published in the year 2007. The ISBN number 3540727876|9783540727873 is assigned to the Paperback version of this title. The book displayed here is a 1st Edition edition. This book has total of pp. xi + 384 (Pages). The publisher of this title is Springer. We have about 150599 other great books from this publisher. Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings 1st Edition is currently Available with us.