Treffer: Logic based program synthesis and transformation
Titel:
Logic based program synthesis and transformation : 14th international symposium ; revised selected papers / LOPSTR 2004, Verona, Italy, August 26 - 28, 2004. Sandro Etalle (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2005
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 3573
alle Bände anzeigen
alle Bände anzeigen
Schlagworte:
DOI:
10.1007/b137785