Siirry suoraan sisältöön
Logic-Based Program Synthesis and Transformation
Tallenna

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.
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