Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Medimops DE
115.64 EUR
Preis aktualisiert am: 06-11-2026 07:27:00
Siehe Produktangebot
Gesponsert
Formal Verification of Simulink/Stateflow Diagrams
Hugendubel
122.99 EUR
Preis aktualisiert am: 07-11-2026 12:55:04
Siehe Produktangebot
Gesponsert
Formal Verification of Simulink/Stateflow Diagrams
SpringerLink DE
126.49 EUR
Preis aktualisiert am: 06-11-2026 15:36:14
Siehe Produktangebot

Allgemein

Marke
Naijun Zhan
ISBN
Naijun Zhan 3319836382

Eigenschaften

Ähnliche Produkte

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Aus111.24 EUR 3
Produkt anzeigen
Formal Verification of Simulink/Stateflow Diagrams
Formal Verification of Simulink/Stateflow Diagrams
Aus108.50 EUR 2
Produkt anzeigen
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Aus123.04 EUR 3
Produkt anzeigen
Formal Verification of Floating-Point Hardware Design
Formal Verification of Floating-Point Hardware Design
Aus80.00 EUR 2
Produkt anzeigen
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Aus53.49 EUR 3
Produkt anzeigen
Menü