Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected ... Notes in Computer Science, Band 8981)

von: Maurizio Proietti · Hirohisa Seki Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (Vereinigte Staaten) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) Details (Kanada) (siehe auch: eBook (Kindle)) EAN=ISBN-13: 978-3-319-17821-9 ISBN-10: 3-319-17821-0 Springer · 2015