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 ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
Medimops DE
52.94 EUR
Preis aktualisiert am: 02-09-2026 19:20:52
Siehe Produktangebot
Gesponsert
Verified Software. Theories, Tools, and Experiments, Fachbücher von Sandrine Blazy, Marsha Chechik
Galaxus.de
53.49 EUR
Preis aktualisiert am: 01-09-2026 21:55:57
Siehe Produktangebot
Gesponsert
Verified Software. Theories, Tools, and Experiments
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 03-09-2026 02:31:53
Siehe Produktangebot

Allgemein

Marke
Sandrine Blazy
ISBN
Sandrine Blazy 9783319488684

Eigenschaften

Ähnliche Produkte

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)
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)
Produkt anzeigen
Verified Software. Theories Tools and Experiments
Verified Software. Theories Tools and Experiments
Produkt anzeigen
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... Notes in Computer Science, Band 10712)
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... Notes in Computer Science, Band 10712)
Produkt anzeigen
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected ... Notes in Computer Science, 13800, Band 13800)
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected ... Notes in Computer Science, 13800, Band 13800)
Produkt anzeigen
Verified Software: Theories Tools and Experiments
Verified Software: Theories Tools and Experiments
Produkt anzeigen
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science)
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science)
Produkt anzeigen
Menü