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

von Maurice Bruynooghe Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-22174-6 ISBN-10: 3-540-22174-3 Springer · 2008