Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers ... Notes in Computer Science (9527), Band 9527)

von Moreno Falaschi Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (USA) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) ISBN: 978-3-319-27435-5 ISBN-10: 3-319-27435-X Springer · 2015