Treffer: Logic Based Program Synthesis and Transformation

Titel:
Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers / edited by Sandro Etalle
Beteiligt:
Etalle, Sandro (Herausgeber)
Ausgabe:
1st ed. 2005
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (VIII, 284 Seiten)
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 3573
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Logic Based Program Synthesis and Transformation. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - ISBN 9783540266556
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783540316831 ; 3540316833 ; --354026655-0 ; --354081257-1 ; 978--354026655-6 (Sekundärausgabe) ; 978--354081257-9 (Sekundärausgabe)
DOI:
10.1007/b137785

Zusatz-Informationen

Zusatz-Funktionen