Bookbot

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen

Achat du livre

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen, Hans Eckert

Langue
Année de publication
1985
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer