Description
About this book
This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena,…
Catalogue preview, eBooks.com
Edition details
- Author / contributors: Moreno Falaschi (Editor)
- Publisher: Springer International Publishing
- Publication date: December 16, 2015
- Language: English
- ISBNs: 9783319274355; 9783319274362
- Digital formats: PDF





Reviews
There are no reviews yet.