CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 2 of 2 Results
1.
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach by Zhan, Naijun, Wang, Shuling... ISBN: 9783319470146 List Price: $129.00
$119.25 (Save 7%)
2.
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach by Zhan, Naijun, Wang, Shuling... ISBN: 9783319836386 List Price: $129.00
$121.65 (Save 5%)