Formal Verification of Simulink/Stateflow Diagrams

115.64 EUR 6% Off 123.04 EUR

Marke: Naijun Zhan

ISBN: 3319836382

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-6%

Gesponsert Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

115.64 EUR 123.04 EUR

11-06-2026 14:59:25

Access to the deal

123.04 EUR 123.04 EUR

11-06-2026 23:36:41

Access to the deal

123.04 EUR 123.04 EUR

11-06-2026 11:54:15

Access to the deal