Format:
Online-Ressource
ISBN:
9783540453093
Series Statement:
Lecture Notes in Computer Science 2028
Additional Edition:
Buchausg. u.d.T.: Programming languages and systems
Language:
English
Subjects:
Computer Science
Keywords:
Programmierung
;
Effizienter Algorithmus
;
Korrektheit
;
Programmierparadigma
;
Programmanalyse
;
Programmtransformation
;
Typentheorie
;
Konferenzschrift
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)