• Logic-Based Program Synthesis...
  • *Holdings*

*Result*: Logic-Based Program Synthesis and Transformation

*Title*:
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / edited by Danny De Schreye
*Author/editor-in-chief*:
De Schreye, Danny (Herausgeber)
*Edition*:
1st ed. 2010
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (X, 205 Seiten) : 29 illus.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 6037
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Logic-Based Program Synthesis and Transformation. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - ISBN 9783642125911
*RVK-Notation*:
*SS 4000*
*Subject Added Keywords*:
*ISBN*:
9783642125928 ; 3642125921 ; 978--364212591-1 (Sekundärausgabe) ; 978--364212593-5 (Sekundärausgabe)
*DOI*:
10.1007/978-3-642-12592-8

*Additional information*

*Additional functions*