Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

por Fabio Fioravanti
4/5
Primera publicación
Jul 10, 2018
Editores
Springer

Libros

Libros similares