ISBN 9783540266556 books & textbook
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3573)
Springer /2005-06-24 Paperback / 292 Pages
isbn-10: 3540266550 / isbn-13: 9783540266556
