Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Type:: e-book
Titel:: Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Auteur:: Falaschi
Taal:: Engels
Uitgever:: Springer International Publishing 2015
ISBN:: 3-319-27435-X
3-319-27436-8
Permalink:: http://bibtest.howest.be/catalog/ebk03:4340000000001250