Showing 1 - 3 of 3 Results
1.
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach by Zhan, Naijun, Wang, Shuling... ISBN: 9783319470146 List Price: $129.00
2.
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach by Zhan, Naijun, Wang, Shuling... ISBN: 9783319836386 List Price: $129.00
3.
Sha Yuan Shi Ci by Wang, Shuling ISBN: 9781639313891 List Price: $12.25