Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Eckert, Hans (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Muenchen <<[u.a.]>> Oldenbourg 1985
Schriftenreihe:Berichte der Gesellschaft für Mathematik und Datenverarbeitung 144
Schlagworte:
Beschreibung:222 S. graph. Darst.
ISBN:3486289616

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!