UID:
(DE-602)b3kat_BV010107531
Format:
XVIII, 256 S.
,
graph. Darst.
ISBN:
3486233289
Series Statement:
Gesellschaft für Mathematik und Datenverarbeitung 〈Sankt Augustin〉: Berichte der Gesellschaft für Mathematik und Datenverarbeitung 242
Note:
Zugl.: Berlin, Techn. Univ., Diss., 1994
Language:
German
Subjects:
Computer Science
,
Mathematics
Keywords:
Kommunikationsprotokoll
;
Entwurf
;
Qualitätssicherung
;
Kommunikationsprotokoll
;
Formale Spezifikationstechnik
;
Verifikation
;
Leistungsbewertung
;
Leistungsbeurteilung
;
Hochschulschrift
Bookmarklink