Software Verification and Validation

Wo zu kaufen (3) Eigenschaften
Gesponsert
Software Verification and Validation (Artech Computer Science Library)
Medimops DE
82.50 EUR
Preis aktualisiert am: 01-05-2026 14:09:44
Siehe Produktangebot
Gesponsert
Software Verification and Validation
Hugendubel
85.49 EUR
Preis aktualisiert am: 30-04-2026 23:04:28
Siehe Produktangebot
Gesponsert
Software Verification and Validation
preigu.de
92.60 EUR
Preis aktualisiert am: 30-04-2026 22:31:53
Siehe Produktangebot

Allgemein

Eigenschaften

Ähnliche Produkte

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, ... Notes in Computer Science, 15222, Band 15222)
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, ... Notes in Computer Science, 15222, Band 15222)
Produkt anzeigen
Guide to Software Verification with Frama-C
Guide to Software Verification with Frama-C
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13702, Band 13702)
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13702, Band 13702)
Produkt anzeigen
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, ... Notes in Computer Science, Band 13124)
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, ... Notes in Computer Science, Band 13124)
Produkt anzeigen
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, ... Notes in Computer Science, Band 12549)
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, ... Notes in Computer Science, Band 12549)
Produkt anzeigen
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Produkt anzeigen
Menü