CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 3 of 3 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.
Sha Yuan Shi Ci
Sha Yuan Shi Ci by Wang, Shuling ISBN: 9781639313891 List Price: $12.25

OUT OF STOCK

See Availability on Amazon
3.
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%)