Kniha momentálne nie je na sklade

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen

Autori

Hans Eckert

Parametre

Kategórie

Počítače, IT, programovanie

Séria: Berichte der Gesellschaft für Mathematik und Datenverarbeitung

Nákup knihy

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen, Hans Eckert

Jazyk
Rok vydania: 1985

Akonáhle sa objaví, pošleme vám e-mail.

Doručenie

Platobné metódy

Navrhnúť zmenu