
Logic-Based Program Synthesis and Transformation
- Undertitel
- 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
- Redaktör
- Germán Vidal
- Upplaga
- 2012 ed.
- ISBN
- 9783642322105
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2012-10-20
- Sidor
- 254
