Umfang:
XV, 413 S.
ISBN:
3-540-00886-1
Serie:
Lecture notes in computer science 2618
Anmerkung:
Includes bibliographical references and index
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Programmierung
;
Effizienter Algorithmus
;
Korrektheit
;
Programmierparadigma
;
Programmanalyse
;
Programmtransformation
;
Typentheorie
;
Konferenzschrift
;
Konferenzschrift
Mehr zum Autor:
Degano, Pierpaolo 1950-