Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science)

von Maurice Bruynooghe Springer Berlin Heidelberg · 2004 Taschenbuch Details (Deutschland) Details (USA) Details (Großbritannien) Details (Kanada) Details (Frankreich) Details (Italien) EAN=ISBN-13: 978-3-540-22174-6 ISBN-10: 3-540-22174-3