Formal System Verification: State-of the-Art and Future Trends

Formal System Verification State-of the-Art
Wo zu kaufen (4) Eigenschaften
Gesponsert
Formal System Verification: State-of the-Art and Future Trends
Medimops DE
116.98 EUR
Preis aktualisiert am: 28-10-2026 17:42:09
Siehe Produktangebot
Gesponsert
Formal System Verification, Fachbücher von Rolf Drechsler
Galaxus.de
128.39 EUR
Preis aktualisiert am: 29-10-2026 14:42:01
Siehe Produktangebot
Gesponsert
Formal System Verification
Hugendubel
128.49 EUR
Preis aktualisiert am: 29-10-2026 09:02:29
Siehe Produktangebot
Gesponsert
Formal System Verification
SpringerLink DE
131.99 EUR
Preis aktualisiert am: 28-10-2026 07:15:32
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

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)
Aus51.98 EUR 4
Produkt anzeigen
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Aus53.49 EUR 3
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11246)
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11246)
Aus52.94 EUR 3
Produkt anzeigen
Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)
Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)
Aus53.49 EUR 3
Produkt anzeigen
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
Aus129.02 EUR 2
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
Menü