Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings - Theoretical Computer Science and General Issues 7317 (Paperback)Alessandro Cimatti (editor), Roberto Sebastiani (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 500
Weight: 789 g
Dimensions: 235 x 155 x 26 mm
Edition: 2012 ed.
You may also be interested in...
Please sign in to write a review