Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Autor Naijun Zhan et al. 29 iun 2018 Paperback Preț: 697.67 lei 850.82 lei 6-8 săpt. -18%