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
53.49 EUR
Preis aktualisiert am: 13-10-2026 14:08:13
Siehe Produktangebot
Gesponsert
Verification of Reactive Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 14-10-2026 04:39:20
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... Notes in Computer Science (9952), Band 9952)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... Notes in Computer Science (9952), Band 9952)
Aus101.54 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 3
Produkt anzeigen
Leveraging Applications of Formal Methods Verification and Validation
Leveraging Applications of Formal Methods Verification and Validation
Aus160.49 EUR 3
Produkt anzeigen
The Calculus of Computation: Decision Procedures with Applications to Verification
The Calculus of Computation: Decision Procedures with Applications to Verification
Aus50.76 EUR 3
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803)
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803)
Aus52.94 EUR 3
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... Notes in Computer Science, Band 8802)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... Notes in Computer Science, Band 8802)
Aus53.49 EUR 3
Produkt anzeigen
Menü