Knihu momentálně nemáme skladem

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen

Autoři

Hans Eckert

Parametry

ISBN: 9783486289619
Nakladatelství: Oldenbourg

Kategorie

Navrhnout úpravu

Varianta knihy

1985

Nákup knihy

Kniha aktuálně není skladem.