Format:
33 S.
,
30 cm
Series Statement:
Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin Bericht-Nr. 2007,20
Additional Edition:
Erscheint auch als Online-Ausgabe 10.14279/depositonce-10306
Language:
English
Subjects:
Computer Science
Keywords:
Aspektorientierte Programmierung
;
Isabelle
;
HOL
;
Typsichere Sprache
URL:
Volltext
(kostenfrei)