Kniha momentálne nie je na sklade
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
Autori
Parametre
Nákup knihy
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte, Stefan Conrad
- Jazyk
- Rok vydania
- 1994
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
- Jazyk
- nemecky
- Autori
- Stefan Conrad
- Vydavateľ
- VDI-Verl.
- Rok vydania
- 1994
- ISBN10
- 3183295105
- ISBN13
- 9783183295104
- Séria
- Fortschritt-Berichte VDI : Reihe 10, Informatik, Kommunikation
- Kategórie
- Počítače, IT, programovanie