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

Logic-Based Program Synthesis and Transformation

66,20 €
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008.
Undertitel
18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Redaktör
Michael Hanus
Upplaga
2009 ed.
ISBN
9783642005145
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2009-02-27
Sidor
185