Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers - Lecture Notes in Computer Science - Michael Hanus - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642005145 - 27 de fevereiro de 2009
Caso a capa e o título não sejam correspondentes, considere o título como correto

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers - Lecture Notes in Computer Science 2009 edition

Michael Hanus

Preço
₪ 245,92

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 23 de jun - 2 de jul
Adicione à sua lista de desejos do iMusic

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers - Lecture Notes in Computer Science 2009 edition

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008.


194 pages, Illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 27 de fevereiro de 2009
ISBN13 9783642005145
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 185
Dimensões 155 × 235 × 13 mm   ·   299 g
Idioma French  
Editor Hanus, Michael

Mostrar tudo

Mais por Michael Hanus