Knihu momentálně nemáme skladem
Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik
Autoři
Parametry
Nákup knihy
Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik, Friedemann Bitsch
- Jazyk
- Rok vydání
- 2007
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
2021 2022 2023
Navrhnout úpravu
- Titul
- Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik
- Jazyk
- německy
- Autoři
- Friedemann Bitsch
- Vydavatel
- Shaker
- Rok vydání
- 2007
- ISBN10
- 3832260358
- ISBN13
- 9783832260354
- Série
- IAS-Forschungsberichte
- Kategorie
- Skripta a vysokoškolské učebnice