*Result*: Logic-Based Program Synthesis and Transformation

*Title*:
Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / edited by Michael Hanus
*Author/editor-in-chief*:
Hanus, Michael (Herausgeber)
*Edition*:
1st ed. 2009
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (IX, 185 Seiten)
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 5438
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Logic-Based Program Synthesis and Transformation. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642005145
*Subject Added Keywords*:
*ISBN*:
9783642005152 ; 3642005152 ; 978--364200514-5 (Sekundärausgabe) ; 978--364200516-9 (Sekundärausgabe)
*DOI*:
10.1007/978-3-642-00515-2

*Additional information*

*Additional functions*