Springer
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, Lopstr 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected
Product Code:
9783642381966
ISBN13:
9783642381966
Condition:
New
$79.07
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, Lopstr 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected
$79.07
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, Lopstr 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected
| Author: Elvira Albert |
| Publisher: Springer |
| Publication Date: May 03, 2013 |
| Number of Pages: 245 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3642381960 |
| ISBN-13: 9783642381966 |