
Springer
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, Lopstr 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Pa
Product Code:
9783319141244
ISBN13:
9783319141244
Condition:
New
$61.47

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, Lopstr 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Pa
$61.47
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, Lopstr 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Pa
Author: Gopal Gupta |
Publisher: Springer |
Publication Date: Dec 22, 2014 |
Number of Pages: 237 pages |
Binding: Paperback or Softback |
ISBN-10: 3319141244 |
ISBN-13: 9783319141244 |