Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Full text!
Format:
e-book
Title:
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Author:
Proietti; Seki, Hirohisa
Language:
English
Publisher:
Springer International Publishing 2015
ISBN:
3-319-17821-0
3-319-17822-9
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000000404081?locale=en