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 ...
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 01-05-2026 07:05:32
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 01-05-2026 08:16:58
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 30-04-2026 13:05:26
Allgemein
Marke
Maria Christakis
