Format:
XIII, 431 S. : graph. Darst.
ISBN:
3-540-41862-8
Series Statement:
Lecture notes in computer science 2028
Note:
Literaturangaben
Language:
English
Subjects:
Computer Science
Keywords:
Programmierung
;
Effizienter Algorithmus
;
Korrektheit
;
Programmierparadigma
;
Programmanalyse
;
Programmtransformation
;
Typentheorie
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
;
Konferenzschrift