Das Buch ist derzeit nicht auf Lager

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen

Autoren

Hans Eckert

Parameter

Kategorien

Informatik & Programmierung

Reihe: Berichte der Gesellschaft für Mathematik und Datenverarbeitung

Buchkauf

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen, Hans Eckert

Sprache
Erscheinungsdatum: 1985

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Deine Änderungsvorschläge