No images available for this book.
| Attribute | Details |
| BOOK TITLE | THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2008: 11TH INTERNATIONAL CONFERENCE, SAT 2008, GUANGZHOU, CHINA, MAY 12-15, 2008, PROCEEDINGS |
| AUTHOR | Unknown |
| PUBLISHER | SPRINGER |
| ISBN13 | 9783540797180 |
| SUBJECT | |
| YEAR OF PUBLICATION | N/A |
| BINDING | N/A |
| PRICE | € 69.99 |
| STOCK STATUS | IN STOCK |