Del 9527 - Lecture Notes in Computer Science
Logic-Based Program Synthesis and Transformation
25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Häftad, Engelska, 2015
749 kr
Skickas inom 10-15 vardagar