Treffer: Logic-Based Program Synthesis and Transformation
Titel:
Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers / edited by Germán Vidal
Beteiligt:
Ausgabe:
1st ed. 2012
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (X, 254 Seiten) : 61 illus.
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 7225
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Logic-Based Program Synthesis and Transformation. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - ISBN 9783642322105
Schlagworte:
ISBN:
9783642322112 ; 3642322115 ; 978--364232210-5 (Sekundärausgabe) ; 978--364232212-9 (Sekundärausgabe)
DOI:
10.1007/978-3-642-32211-2