von Naijun Zhan
Taschenbuch
Details (Deutschland)
(siehe auch: Kindle Ausgabe)
Details (USA)
(siehe auch: eBook (Kindle))
Details (Großbritannien)
(siehe auch: eBook (Kindle))
ISBN-13: 978-3-319-83638-6
ISBN-10: 3-319-83638-2
Springer · 2018
|
|
von Naijun ZhanTaschenbuch Details (Deutschland) Details (USA) Details (Großbritannien) ISBN-13: 978-3-319-83638-6 ISBN-10: 3-319-83638-2 Springer · 2018 |
| Siehe auch: | ||
| 2016 | Gebundene Ausgabe | Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach |