Conte aos seus amigos sobre este 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 2012 edition
Alessandro Cimatti
Preço
R$ 321,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 28 de out - 3 de nov
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings - Theoretical Computer Science and General Issues 2012 edition
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 22 de junho de 2012 |
| ISBN13 | 9783642316111 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 500 |
| Dimensões | 155 × 235 × 26 mm · 721 g |
| Idioma | French |
| Editor | Cimatti, Alessandro |
| Editor | Sebastiani, Roberto |
Ver tudo de Alessandro Cimatti ( por exemplo Paperback Book )