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 |