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

經過 Fabio Fioravanti
4/5
首次發表
Jul 10, 2018
发行商
Springer

圖書

類似書籍