Tallenna
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.
- Alaotsikko
- 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
- Toimittaja
- Fabio Fioravanti, John P. Gallagher
- Painos
- 2018 ed.
- ISBN
- 9783319944593
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 10.7.2018
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 341
