Tallenna
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.
- Alaotsikko
- 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
- Toimittaja
- Elvira Albert
- Painos
- 2013 ed.
- ISBN
- 9783642381966
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 3.5.2013
- Sivumäärä
- 245
