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

door Fabio Fioravanti
4/5
Eerste druk
Jul 10, 2018
Uitgevers
Springer

Boeken

Vergelijkbare boeken