Umfang:
XIII, 431 S. : graph. Darst.
ISBN:
3-540-41862-8
Serie:
Lecture notes in computer science 2028
Anmerkung:
Literaturangaben
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Programmierung
;
Effizienter Algorithmus
;
Korrektheit
;
Programmierparadigma
;
Programmanalyse
;
Programmtransformation
;
Typentheorie
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
;
Konferenzschrift