Spara
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.
- Undertitel
- 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
- Redaktör
- Elvira Albert
- Upplaga
- 2013 ed.
- ISBN
- 9783642381966
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2013-05-03
- Sidor
- 245
