Logic-Based Program Synthesis and Transformation
Subtitle: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Publisher: Springer
Published: Jan 02, 2013
Format: paperback
Number of pages: 260
ISBN-13: 9783642205521
Notes: Source title: Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers