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

Price
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 22 - 30
Get notified about new John Gallagher releases
Add to your iMusic wish list

Not rated yet

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

Show all

More from the same publisher