Tell your friends about this 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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | March 12, 1997 |
| ISBN13 | 9783540627180 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 331 |
| Dimensions | 156 × 234 × 18 mm · 476 g |
| Language | German |
| Editor | Gallagher, John P. |
More by John Gallagher
See all of John Gallagher ( e.g. Paperback Book , Hardcover Book , CD and Book )
Christmas presents can be returned until 31 January