UID:
kobvindex_ZLB13802305
Umfang:
XIII, 452 Seiten
,
graph. Darst.
Ausgabe:
1
ISBN:
3540237240
Serie:
Lecture notes in computer science 3302
Anmerkung:
Text engl.
Sprache:
Englisch
Schlagwort(e):
Programmierung
;
Kongress
;
Taipeh 〈2004〉
;
Programmtransformation
;
Kongress
;
Taipeh 〈2004〉
;
Programmanalyse
;
Kongress
;
Taipeh 〈2004〉
;
Programmverifikation
;
Kongress
;
Taipeh 〈2004〉
;
Typentheorie
;
Kongress
;
Taipeh 〈2004〉
;
Kongress
;
Konferenzschrift