Spar
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.
- Undertittel
- 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
- Redaktør
- Fabio Fioravanti, John P. Gallagher
- Opplag
- 2018 ed.
- ISBN
- 9783319944593
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 10.7.2018
- Antall sider
- 341
