ISBN 3662175088 books & textbook
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Springer /2014-03-12 Paperback / 248 Pages
isbn-10: 3662175088 / isbn-13: 9783662175088
