
Logic-Based Program Synthesis and Transformation
- Alaotsikko
- 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
- Toimittaja
- Germán Vidal
- Painos
- 2012 ed.
- ISBN
- 9783642322105
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 20.10.2012
- Sivumäärä
- 254