Conte aos seus amigos sobre este item:
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Theoretical Computer Science and General Issues Maurizio Proietti 2015 edition
Preço
DKK 379,90
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 11 - 19 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Theoretical Computer Science and General Issues
Maurizio Proietti
The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.
333 pages, 61 black & white illustrations, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 4 de maio de 2015 |
| ISBN13 | 9783319178219 |
| Editoras | Springer International Publishing AG |
| Páginas | 333 |
| Dimensões | 155 × 235 × 18 mm · 534 g |
| Idioma | Francês |
| Editor | Proietti, Maurizio |
| Editor | Seki, Hirohisa |
Mostrar tudo
Mais por Maurizio Proietti
Ver tudo de Maurizio Proietti ( por exemplo Book e Paperback Book )