Logic-Based Program Synthesis and Transformation
Subtitle: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Publisher: Springer
Published: Dec 17, 2015
Format: paperback
Number of pages: 402
ISBN-13: 9783319274355
Notes: Source title: Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Lecture Notes in Computer Science (9527))