Kniha momentálne nie je na sklade
Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung
Autori
Parametre
Nákup knihy
Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung, Stefan Kupferschmid
- Jazyk
- Rok vydania
- 2013
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung
- Jazyk
- nemecky
- Autori
- Stefan Kupferschmid
- Vydavateľ
- Der Andere Verl.
- Rok vydania
- 2013
- ISBN10
- 3862474119
- ISBN13
- 9783862474110
- Séria
- Design, test and verification of embedded systems
- Kategórie
- Počítače, IT, programovanie