Hengjun Zhao - Böcker

Visar alla böcker från författaren Hengjun Zhao.
2 produkter
Naijun Zhan, Shuling Wang, Hengjun Zhao - Formal Verification of Simulink/Stateflow Diagrams, Inbunden

Formal Verification of Simulink/Stateflow Diagrams

Av Naijun Zhan, Shuling Wang, Hengjun Zhao

Inbunden, Engelska, 2016

1 639 kr

Skickas inom 7-10 vardagar
Naijun Zhan, Shuling Wang, Hengjun Zhao - Formal Verification of Simulink/Stateflow Diagrams, Häftad

Formal Verification of Simulink/Stateflow Diagrams

Av Naijun Zhan, Shuling Wang, Hengjun Zhao

Häftad, Engelska, 2018

1 639 kr

Skickas inom 7-10 vardagar