UID:
kobvindex_ZLB13473702
Format:
XV, 413 Seiten
,
graph. Darst.
,
24 cm
ISBN:
3540008861
Series Statement:
Lecture notes in computer science 2618
Note:
Literaturangaben
Language:
English
Keywords:
Programmierung
;
Effizienter Algorithmus
;
Korrektheit
;
Kongress
;
Warschau 〈2003〉
;
Programmierparadigma
;
Kongress
;
Warschau 〈2003〉
;
Programmanalyse
;
Kongress
;
Warschau 〈2003〉
;
Programmtransformation
;
Kongress
;
Warschau 〈2003〉
;
Typentheorie
;
Kongress
;
Warschau 〈2003〉
;
Kongress
;
Konferenzschrift
Author information:
Degano, Pierpaolo
