Treffer: Logic based program synthesis and transformation
Titel:
Logic based program synthesis and transformation : 12th international workshop ; revised selected papers / LOPSTR 2002, Madrid, Spain, September 17 - 20, 2002. Michael Leuschel (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2003
Umfang:
X, 279 Seiten : Diagramme ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 2664
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540404384