Tell your friends about this item:
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings - Theoretical Computer Science and General Issues Alessandro Cimatti 2012 edition
Price
R 953
excl. VAT
Ordered from remote warehouse
Expected delivery Dec 9 - 19
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings - Theoretical Computer Science and General Issues
Alessandro Cimatti
The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers).
520 pages, 364 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | June 22, 2012 |
| ISBN13 | 9783642316111 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 500 |
| Dimensions | 155 × 235 × 26 mm · 721 g |
| Language | French |
| Editor | Cimatti, Alessandro |
| Editor | Sebastiani, Roberto |
See all of Alessandro Cimatti ( e.g. Paperback Book )