Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers - Lecture Notes in Computer Science - Michael Hanus - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642005145 - February 27, 2009
In case cover and title do not match, the title is correct

Michael Hanus
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers - Lecture Notes in Computer Science 2009 edition

Price
€ 50.49

Ordered from remote warehouse

Expected delivery Jan 8 - 16, 2026
Christmas presents can be returned until 31 January

Our customers say:

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

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008.

194 pages, Illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released February 27, 2009
ISBN13 9783642005145
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 185
Dimensions 155 × 235 × 13 mm   ·   299 g
Language French  
Editor Hanus, Michael

More by Michael Hanus

Show all

See all of Michael Hanus ( e.g. Paperback Book )