Results

Book cover

Logic-Based Program Synthesis and Transformation

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

© 2014

Soft cover - Print (ISBN: 978-3-319-14124-4)

Electronic (ISBN: 978-3-319-14125-1)

View this book on SpringerLink

Download Product Archive File - 978-3-319-14125-1 Download product archive files for 978-3-319-14125-1