
Conte aos seus amigos sobre este item:
Logic-based Program Synthesis and Transformation: 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers - Lecture Notes in Computer Science
P Flener
Logic-based Program Synthesis and Transformation: 8th International Workshop, Lopstr'98, Manchester, Uk, June 15-19, 1998, Selected Papers - Lecture Notes in Computer Science
P Flener
This text presents the refereed post-workshop proceedings of the 8th International Workshop on Logic Based Program Synthesis and Transformation. Among the topics covered are logic specification, mathematical program construction, logic programming and constraint logic programs.
338 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 24 de março de 1999 |
ISBN13 | 9783540657651 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 338 |
Dimensões | 156 × 234 × 18 mm · 485 g |
Editor | Flener, Pierre |
Ver tudo de P Flener ( por exemplo Paperback Book )