UID:
kobvindex_ZLB13802305
Format:
XIII, 452 Seiten
,
graph. Darst.
Edition:
1
ISBN:
3540237240
Series Statement:
Lecture notes in computer science 3302
Note:
Text engl.
Language:
English
Keywords:
Programmierung
;
Kongress
;
Taipeh 〈2004〉
;
Programmtransformation
;
Kongress
;
Taipeh 〈2004〉
;
Programmanalyse
;
Kongress
;
Taipeh 〈2004〉
;
Programmverifikation
;
Kongress
;
Taipeh 〈2004〉
;
Typentheorie
;
Kongress
;
Taipeh 〈2004〉
;
Kongress
;
Konferenzschrift