Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Autor Naijun Zhan et al. 14 noi 2016 Hardback Preț: 719.40 lei 877.32 lei 6-8 săpt. -18%