
Springer
Logic-Based Program Synthesis and Transformation: 21st International Symposium, Lopstr 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Paper
Product Code:
9783642322105
ISBN13:
9783642322105
Condition:
New
$79.07

Logic-Based Program Synthesis and Transformation: 21st International Symposium, Lopstr 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Paper
$79.07
Logic-Based Program Synthesis and Transformation: 21st International Symposium, Lopstr 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Paper
Author: Germ?n Vidal |
Publisher: Springer |
Publication Date: Oct 20, 2012 |
Number of Pages: 254 pages |
Binding: Paperback or Softback |
ISBN-10: 3642322107 |
ISBN-13: 9783642322105 |