Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers (Lecture Notes in Computer Science, Band 11294)
Ein kompakter Sammelband aus der VSTTE‑Konferenz in Oxford, der aktuelle Forschung zur verifizierten Software zusammenfasst – von theoretischen Gr ...
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 07-06-2026 23:22:09
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 07-06-2026 19:02:57
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 07-06-2026 13:13:17
Allgemein
Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3030035913
MPN
Springer-Verlag GmbH 34417028
