Format:
VI, 272 S.
ISBN:
3540508457
,
0387508457
Series Statement:
Lecture notes in computer science 321
Note:
Zugl.: Eindhoven, Techn. Univ., Diss., 1988
Language:
Undetermined
Keywords:
Nebenläufigkeit
;
Programmverifikation
;
Dekomposition
;
Partiell korrektes Programm
;
Korrektheit
;
Beweis
;
Modulare Programmierung
;
Hochschulschrift