Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected ... Notes in Computer Science, Band 9971)

Ein Sammelband der VSTTE‑Konferenz Toronto 2016, der wegweisende Beiträge zur verifizierten Software enthält – von formalen Theorien über innov ...
Gesponsert
53.49 EUR
Preis aktualisiert am: 29-10-2026 13:56:58
Gesponsert
53.49 EUR
Preis aktualisiert am: 29-10-2026 14:26:58
Gesponsert
59.00 EUR
Preis aktualisiert am: 28-10-2026 06:13:14

Allgemein

Marke
Sandrine Blazy
ISBN
Sandrine Blazy 9783319488684

Eigenschaften

Menü