Gå direkt till innehållet
Logic-Based Program Synthesis and Transformation
Spara

Logic-Based Program Synthesis and Transformation

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011.
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