建模STATEFLOW逻辑正版
西安电子科技大学张威建模9787560618524
西北工业大学云凤编著仿真
Simulink形式化VerificationStateflow
Simulink集成电路IntegratedStateflow
英文9781563478383原版现货