The book is currently out of stock

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen

Authors

Hans Eckert

Parameters

Categories

Computers, IT, Programming

Series: Berichte der Gesellschaft für Mathematik und Datenverarbeitung

Book purchase

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen, Hans Eckert

Language
Released: 1985

We’ll notify you via email once we track it down.

Payment methods