Format:
XI, 205 S. : Ill.
ISBN:
3-486-23048-4
Series Statement:
Gesellschaft für Mathematik und Datenverarbeitung 〈Sankt Augustin〉: Berichte der Gesellschaft für Mathematik und Datenverarbeitung 231
Note:
Zugl.: Berlin, Techn. Univ., Diss., 1994
Language:
German
Subjects:
Computer Science
Keywords:
Verteiltes System
;
Softwaretest
;
Formale Spezifikationstechnik
;
Verteiltes System
;
Test
;
Spezifikation
;
Verteiltes System
;
Leistungsbewertung
;
Test
;
Hochschulschrift
;
Hochschulschrift
;
Hochschulschrift
;
Hochschulschrift