Treffer: Logic based program synthesis and transformation
Titel:
Logic based program synthesis and transformation : 15th international symposium ; revised selected papers / LOPSTR 2005, London, UK, September 7 - 9, 2005. Patricia M. Hill (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2006
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 3901
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Lizenzpflichtig
Schlagworte:
DOI:
10.1007/11680093