Sold out
Springer
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Product Code:
9783642316111
ISBN13:
9783642316111
Condition:
New
$61.47
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
$61.47
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
| Author: Alessandro Cimatti |
| Publisher: Springer |
| Publication Date: Jun 22, 2012 |
| Number of Pages: 500 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3642316115 |
| ISBN-13: 9783642316111 |
Related Products
