Format:
XII, 250 S.
ISBN:
3-540-63406-1
Series Statement:
Lecture notes in computer science 1283
Note:
Zugl.: Kiel, Univ., Diss, 1996
Language:
English
Subjects:
Computer Science
Keywords:
Echtzeitprogrammierung
;
Transputer
;
Codegenerierung
;
Programmverifikation
;
Hochschulschrift
;
Hochschulschrift
Author information:
Müller-Olm, Markus