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

Full text!
Type:
e-book
Titel:
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Auteur:
Proietti; Seki, Hirohisa
Taal:
Engels
Uitgever:
Springer International Publishing 2015
ISBN:
3-319-17821-0
3-319-17822-9
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000000404081