Kniha momentálne nie je na sklade
Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen
Autori
Parametre
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
2021 2022 2023
Navrhnúť zmenu
- Titul
- Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen
- Jazyk
- nemecky
- Autori
- Hans Eckert
- Vydavateľ
- Oldenbourg
- Rok vydania
- 1985
- ISBN10
- 3486289616
- ISBN13
- 9783486289619
- Séria
- Berichte der Gesellschaft für Mathematik und Datenverarbeitung
- Kategórie
- Počítače, IT, programovanie