Treffer: Logic-Based Program Synthesis and Transformation
Titel:
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / edited by Danny De Schreye
Verantwortlich:
Ausgabe:
1st ed. 2010
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 205 Seiten) : 29 illus.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 6037
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Logic-Based Program Synthesis and Transformation. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - ISBN 9783642125911
RVK-Notation:
Schlagworte:
ISBN:
9783642125928 ; 3642125921 ; 978--364212591-1 (Sekundärausgabe) ; 978--364212593-5 (Sekundärausgabe)
DOI:
10.1007/978-3-642-12592-8