Shuling Wang – författare
Visar alla böcker från författaren Shuling Wang.
2 produkter
Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach
Av Naijun Zhan, Shuling Wang m. fl.
Inbunden, 2016
1619 kr
Lägg i varukorg
Formal Verification of Simulink/Stateflow Diagrams
A Deductive Approach
Av Naijun Zhan, Shuling Wang m. fl.
Häftad, 2018
1619 kr
Lägg i varukorg