Kniha momentálne nie je na sklade
Verification and validation of logic control algorithms by model checking
Autori
Parametre
Nákup knihy
Verification and validation of logic control algorithms by model checking, Xiying Weng
- Jazyk
- Rok vydania
- 2003
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- Verification and validation of logic control algorithms by model checking
- Jazyk
- anglicky
- Autori
- Xiying Weng
- Vydavateľ
- Shaker
- Rok vydania
- 2003
- Väzba
- mäkká
- ISBN10
- 3832222421
- ISBN13
- 9783832222420
- Séria
- Berichte aus der Automatisierungstechnik
- Kategórie
- Počítače, IT, programovanie