Knihu momentálně nemáme skladem
Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen
Autoři
Parametry
Nákup knihy
Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen, Hans Eckert
- Jazyk
- Rok vydání
- 1985
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
2021 2022 2023
Navrhnout úpravu
- Titul
- Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen
- Jazyk
- německy
- Autoři
- Hans Eckert
- Vydavatel
- Oldenbourg
- Rok vydání
- 1985
- ISBN10
- 3486289616
- ISBN13
- 9783486289619
- Série
- Berichte der Gesellschaft für Mathematik und Datenverarbeitung
- Kategorie
- Počítače, IT, programování