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

Logic-Based Program Synthesis and Transformation

This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010.
Alaotsikko
20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Toimittaja
María Alpuente
ISBN
9783642205507
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
2.5.2011
Sivumäärä
249