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)

Wo zu kaufen (3) Eigenschaften
Gesponsert
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)
Medimops DE
58.84 EUR
Preis aktualisiert am: 18-06-2026 08:03:57
Siehe Produktangebot
Gesponsert
Software Verification
SpringerLink DE
58.84 EUR
Preis aktualisiert am: 18-06-2026 00:42:39
Siehe Produktangebot
Gesponsert
Software Verification, Fachbücher von Roderick Bloem, Rayna Dimitrova, Natasha Sharygina, Chuchu Fan
Galaxus.de
58.84 EUR
Preis aktualisiert am: 18-06-2026 04:12:54
Siehe Produktangebot

Allgemein

Marke
Roderick Bloem

Eigenschaften

Ähnliche Produkte

Software Verification and Validation
Software Verification and Validation
Produkt anzeigen
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
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 Fault Prevention, Verification, and Validation
Software Fault Prevention, Verification, and Validation
Produkt anzeigen
Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 1314, 2019, Proceedings (Lecture Notes in Computer Science, Band 11652)
Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 1314, 2019, Proceedings (Lecture Notes in Computer Science, Band 11652)
Produkt anzeigen
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
Produkt anzeigen
Menü