Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Verification of Reactive Systems
Wo zu kaufen (3) Eigenschaften
Gesponsert
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Medimops DE
53.49 EUR
Preis aktualisiert am: 18-05-2026 19:09:38
Siehe Produktangebot
Gesponsert
Verification of Reactive Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 18-05-2026 08:51:38
Siehe Produktangebot
Gesponsert
Verification of Reactive Systems, Fachbücher von Klaus Schneider
Galaxus.de
53.49 EUR
Preis aktualisiert am: 18-05-2026 14:12:49
Siehe Produktangebot

Allgemein

Marke
Klaus Schneider
ISBN
Klaus Schneider 3642055559

Eigenschaften

Ähnliche Produkte

Temporal Verification of Reactive Systems: Safety
Temporal Verification of Reactive Systems: Safety
Produkt anzeigen
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Produkt anzeigen
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Produkt anzeigen
Temporal Verification of Reactive Systems: Safety
Temporal Verification of Reactive Systems: Safety
Produkt anzeigen
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
Produkt anzeigen
Menü