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

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

Michael Hanus

Price
zł 258.90

Ordered from remote warehouse

Expected delivery Jun 16 - 25

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-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

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
Show all

More by Michael Hanus

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