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

Verification of Reactive Systems
Wo zu kaufen (2) Eigenschaften
Gesponsert
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Medimops DE
51.98 EUR
Preis aktualisiert am: 06-09-2026 03:48:43
Siehe Produktangebot
Gesponsert
Verification of Reactive Systems
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 07-09-2026 11:15:25
Siehe Produktangebot

Allgemein

Marke
Klaus Schneider
ISBN
Klaus Schneider 3642055559

Eigenschaften

Ähnliche Produkte

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
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
Menü