Gå direkte til innholdet
Logic-Based Program Synthesis and Transformation
Spar

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.
Undertittel
21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Redaktør
Germán Vidal
Opplag
2012 ed.
ISBN
9783642322105
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
20.10.2012
Antall sider
254