Suchergebnisse für "Zhan, Naijun/Wang, Shuling/Zhao, Hengjun"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Zhan, Naijun/Wang, Shuling/Zhao, Hengjun" gefunden.
Katalogsuche
Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach
Zhan, Naijun/Wang, Shuling/Zhao, Hengjun
Springer Verlag GmbH
123,04 €
(inklusive MwSt.)
Lieferbar
Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach
Zhan, Naijun/Wang, Shuling/Zhao, Hengjun
Springer Verlag GmbH
123,04 €
(inklusive MwSt.)
Lieferbar
Formal Verification of Simulink/Stateflow Diagrams
eBook - A Deductive Approach, Engineering (R0)
Zhan, Naijun/Wang, Shuling/Zhao, Hengjun
SPRINGER
136,95 €
(inklusive MwSt.)
Lieferbar
