Recomienda este artículo a tus amigos:
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
Precio
€ 49,99
Pedido desde almacén remoto
Entrega prevista 12 - 20 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Nuestros clientes opinan:
Añadir a tu lista de deseos de 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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 4 de mayo de 2015 |
| ISBN13 | 9783319178219 |
| Editores | Springer International Publishing AG |
| Páginas | 333 |
| Dimensiones | 155 × 235 × 18 mm · 534 g |
| Lengua | Francés |
| Editor | Proietti, Maurizio |
| Editor | Seki, Hirohisa |
