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