Conte aos seus amigos sobre este item:
Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr '96, Stockholm, Sweden, August 28-30, 1996, Proceedings - Lecture Notes in Computer Science
John Gallagher
Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr '96, Stockholm, Sweden, August 28-30, 1996, Proceedings - Lecture Notes in Computer Science
John Gallagher
Constituting the proceedings of a workshop on logic program synthesis and transformation held on board a ship sailing from Stockholm to Helsinki in August 1996, the 17 papers cover topics such as synthesis of programs from specifications, transformation, specialization and analysis of programs.
331 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 12 de março de 1997 |
ISBN13 | 9783540627180 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 331 |
Dimensões | 156 × 234 × 18 mm · 476 g |
Editor | Gallagher, John P. |
Mostrar tudo
Mais por John Gallagher
Ver tudo de John Gallagher ( por exemplo Paperback Book , Hardcover Book , CD e Book )