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

Formal System Verification
Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal System Verification: State-of the-Art and Future Trends
Medimops DE
128.39 EUR
Preis aktualisiert am: 19-09-2026 09:19:58
Siehe Produktangebot
Gesponsert
Formal System Verification, Fachbücher von Rolf Drechsler
Galaxus.de
128.39 EUR
Preis aktualisiert am: 19-09-2026 12:12:20
Siehe Produktangebot
Gesponsert
Formal System Verification
SpringerLink DE
142.00 EUR
Preis aktualisiert am: 18-09-2026 18:57:35
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 28810693
ISBN
Springer-Verlag GmbH 3319576836

Eigenschaften

Ähnliche Produkte

SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
Produkt anzeigen
Descriptional Complexity of Formal Systems: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings (Lecture Notes in Computer Science, Band 10952)
Descriptional Complexity of Formal Systems: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings (Lecture Notes in Computer Science, Band 10952)
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 Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science)
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Critical Systems: Formal Methods and Automated Verification
Produkt anzeigen
Menü