Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, ... Notes in Computer Science, Band 11388)
Der Band fasst die neuesten Erkenntnisse zur formalen Verifikation, Modellprüfung und abstrakten Interpretation der VMCAI‑Konferenz 2019 in Cascais ...
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 02-05-2026 22:53:54
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 02-05-2026 17:49:17
Allgemein
Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3030112446
MPN
Springer-Verlag GmbH 35014535
