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

Verification of Reactive Systems
Wo zu kaufen (4) 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: 26-10-2026 12:08:48
Siehe Produktangebot
Gesponsert
Verification of Reactive Systems
Hugendubel
53.49 EUR
Preis aktualisiert am: 26-10-2026 22:12:17
Siehe Produktangebot
Gesponsert
Verification of Reactive Systems, Fachbücher von Klaus Schneider
Galaxus.de
53.49 EUR
Preis aktualisiert am: 26-10-2026 21:54:34
Siehe Produktangebot
Gesponsert
Verification of Reactive Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 06:17:57
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
Aus111.24 EUR 4
Produkt anzeigen
Stålhane, Tor: Functional Safety and Proof of Compliance
Stålhane, Tor: Functional Safety and Proof of Compliance
Aus71.98 EUR 5
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)
Aus53.49 EUR 2
Produkt anzeigen
Temporal Verification of Reactive Systems: Safety
Temporal Verification of Reactive Systems: Safety
Aus98.41 EUR 2
Produkt anzeigen
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 System Verification: State-of the-Art and Future Trends
Formal System Verification: State-of the-Art and Future Trends
Aus116.98 EUR 4
Produkt anzeigen
Menü