Spara
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.
The 19 revised full papers were carefully reviewed and selected from 29 submissions.
- Undertitel
- 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
- Redaktör
- Fabio Fioravanti, John P. Gallagher
- Upplaga
- 2018 ed.
- ISBN
- 9783319944593
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2018-07-10
- Sidor
- 341
