ISBN 9783642005145 books & textbook
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, 5438)
Springer /2009-02-27 Paperback / 194 Pages
isbn-10: 3642005144 / isbn-13: 9783642005145
