Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

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

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

115.64 EUR
Preis aktualisiert am: 25-05-2026 20:25:22
Siehe Produktangebot

Gesponsert Formal Verification of Simulink/Stateflow Diagrams

123.04 EUR
Preis aktualisiert am: 25-05-2026 10:35:41
Siehe Produktangebot

Gesponsert Formal Verification of Simulink/Stateflow Diagrams, Fachbücher von Naijun Zhan, Hengjun Zhao, Shuling Wang

123.04 EUR
Preis aktualisiert am: 25-05-2026 13:19:49
Siehe Produktangebot
Bezeichner
ISBN Naijun Zhan 3319836382
Abmessungen / Gewicht
Hauptmerkmale
Naijun Zhan