Format:
VIII, 208 S.
ISBN:
3540112057
,
0387112057
Series Statement:
Lecture notes in computer science 129
Note:
Zugl. Diss.
Language:
English
Subjects:
Computer Science
Keywords:
Parallelverarbeitung
;
Programmverifikation
;
Programmierung
;
Verifikation
;
Hochschulschrift