Kniha momentálne nie je na sklade
Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik
Autori
Parametre
Nákup knihy
Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik, Friedemann Bitsch
- Jazyk
- Rok vydania
- 2007
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik
- Jazyk
- nemecky
- Autori
- Friedemann Bitsch
- Vydavateľ
- Shaker
- Rok vydania
- 2007
- ISBN10
- 3832260358
- ISBN13
- 9783832260354
- Séria
- IAS-Forschungsberichte
- Kategórie
- Skriptá a vysokoškolské učebnice