Publisher's Synopsis
Theory and Applications of Satisfiability Testing -- SAT 2012
Theory and Applications of Satisfiability Testing -- SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Paperback (28 Jun 2012)
Not available for sale
Includes delivery to the United States
Out of stock
Check stock
Book information
| ISBN: | 9783642316135 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 28 Jun 2012 |
| Language: | English |
| Number of pages: | 520 |
| Weight: | 722g |
| Height: | 234mm |
| Width: | 156mm |
