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)

Ein kompakter Sammelband aus den Vorträgen der VSTTE‑2020 und NSV‑Workshop, der innovative Ansätze zur Softwareverifikation beleuchtet, praktisc ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Software Verification
Hugendubel
53.49 EUR
Preis aktualisiert am: 21-09-2026 02:14:07
Siehe Produktangebot
Gesponsert
Software Verification
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 25-09-2026 00:11:27
Siehe Produktangebot
Gesponsert
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)
Medimops DE
53.49 EUR
Preis aktualisiert am: 24-09-2026 19:32:08
Siehe Produktangebot

Allgemein

Marke
Maria Christakis

Eigenschaften

Ähnliche Produkte

Guide to Software Verification with Frama-C
Guide to Software Verification with Frama-C
Aus53.49 EUR 4
Produkt anzeigen
Software Verification and Validation
Software Verification and Validation
Aus58.95 EUR 4
Produkt anzeigen
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Aus61.34 EUR 4
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)
Aus58.84 EUR 4
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)
Aus64.98 EUR 4
Produkt anzeigen
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Aus35.00 EUR 2
Produkt anzeigen
Menü