Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
  • #
  • #

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

126.49 EUR 123.04 EUR 3% Off

Teilen:
Gesponsert

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Medimops DE
123.04 EUR
23-08-2026 04:12:35
Gesponsert

Zhan:Formal Verification of Simulink/St, Fachbücher von Naijun Zhan, Hengjun Zhao, Shuling Wang

Galaxus.de
123.04 EUR
23-08-2026 05:12:53
Gesponsert

Formal Verification of Simulink/Stateflow Diagrams

SpringerLink DE
126.49 EUR
23-08-2026 07:32:15

Ähnliche Produkte

Verification of Reactive Systems: Formal Methods and Algorithms

Verification of Reactive Systems: Formal Methods and Algorithms

53.49 EUR
Formal System Verification: State-of the-Art and Future Trends

Formal System Verification: State-of the-Art and Future Trends

128.39 EUR
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

115.64 EUR
Formal System Verification: State-of the-Art and Future Trends

Formal System Verification: State-of the-Art and Future Trends

120.34 EUR