Books by Shuling Wang
No products found matching the selection.
-20%
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Shuling Wang, Naijun Zhan, Hengjun Zhao
€155.83
€194.79
-20% with code BOOKS
In stock at our supplier
-20%
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Shuling Wang, Naijun Zhan, Hengjun Zhao
€155.83
€194.79
-20% with code BOOKS
In stock at our supplier