Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers - Theoretical Computer Science and General Issues -  - Livros - Springer International Publishing AG - 9783319274355 - 17 de dezembro de 2015
Caso a capa e o título não sejam correspondentes, considere o título como correto

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers - Theoretical Computer Science and General Issues 1st ed. 2015 edition

Preço
R$ 333,79

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 8 - 16 de out
Adicione à sua lista de desejos do iMusic

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers - Theoretical Computer Science and General Issues 1st ed. 2015 edition

This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015. The 21 revised full papers presented together with 3invited talks were carefully reviewed and selected from 30 submissions.


385 pages, 88 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 17 de dezembro de 2015
ISBN13 9783319274355
Editoras Springer International Publishing AG
Páginas 385
Dimensões 155 × 235 × 21 mm   ·   6,09 kg
Idioma German  
Editor Falaschi, Moreno