+ wishlist Author: Naijun Zhan Shuling Wang Hengjun Zhao Formal Verification of Simulink/Stateflow Diagrams Buy More - Save More. Below are the available bulk discount rates for each individual item when you purchase a certain amount Quantity Price Savings 25 - 49 12% 50 - 99 13% 100+ 14% From $111.79 in bulk Format: Paperback
+ wishlist Author: Naijun Zhan Shuling Wang Hengjun Zhao Formal Verification of Simulink/Stateflow Diagrams Buy More - Save More. Below are the available bulk discount rates for each individual item when you purchase a certain amount Quantity Price Savings 25 - 49 12% 50 - 99 13% 100+ 14% From $111.79 in bulk Format: Hardcover