Format:
XV, 413 S.
ISBN:
3-540-00886-1
Series Statement:
Lecture notes in computer science 2618
Note:
Includes bibliographical references and index
Language:
English
Subjects:
Computer Science
Keywords:
Programmierung
;
Effizienter Algorithmus
;
Korrektheit
;
Programmierparadigma
;
Programmanalyse
;
Programmtransformation
;
Typentheorie
;
Konferenzschrift
;
Konferenzschrift
Author information:
Degano, Pierpaolo 1950-