Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr '96, Stockholm, Sweden, August 28-30, 1996, Proceedings - Lecture Notes in Computer Science - John Gallagher - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540627180 - March 12, 1997
In case cover and title do not match, the title is correct

Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr '96, Stockholm, Sweden, August 28-30, 1996, Proceedings - Lecture Notes in Computer Science

John Gallagher

Price
$ 65.49

Ordered from remote warehouse

Expected delivery May 29 - Jun 12

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr '96, Stockholm, Sweden, August 28-30, 1996, Proceedings - Lecture Notes in Computer Science

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
Editor Gallagher, John P.
Show all

More by John Gallagher

See all of John Gallagher ( e.g. Paperback Book , Hardcover Book , CD and Book )