Spar
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.
- Undertittel
- 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
- Redaktør
- Elvira Albert
- Opplag
- 2013 ed.
- ISBN
- 9783642381966
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 3.5.2013
- Antall sider
- 245
