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

Formal System Verification
Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal System Verification: State-of the-Art and Future Trends
Medimops DE
128.39 EUR
Preis aktualisiert am: 05-11-2026 19:54:45
Siehe Produktangebot
Gesponsert
Formal System Verification
SpringerLink DE
131.99 EUR
Preis aktualisiert am: 06-11-2026 15:15:45
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)
Aus111.04 EUR 4
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)
Aus53.49 EUR 4
Produkt anzeigen
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
Aus53.34 EUR 4
Produkt anzeigen
Critical Systems: Formal Methods and Automated Verification
Aus53.49 EUR 4
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)
Aus51.98 EUR 3
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)
Aus51.36 EUR 3
Produkt anzeigen
Menü