Tallenna
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008.
- Alaotsikko
- 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
- Toimittaja
- Michael Hanus
- Painos
- 2009 ed.
- ISBN
- 9783642005145
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 27.2.2009
- Sivumäärä
- 185
