Verified Software: Theories Tools and Experiments

Ein kompakter Sammelband aus der VSTTE‑Konferenz, der theoretische Konzepte, praktische Werkzeuge und experimentelle Ergebnisse zur verifizierten So ...
Wo zu kaufen (4) Eigenschaften
Gesponsert
Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers (Lecture Notes in Computer Science)
Medimops DE
52.94 EUR
Preis aktualisiert am: 28-10-2026 17:23:53
Siehe Produktangebot
Gesponsert
Verified Software: Theories Tools and Experiments
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 07:01:24
Siehe Produktangebot
Gesponsert
Verified Software: Theories, Tools, and Experiments, Fachbücher von Arie Gurfinkel, Sanjit A. Seshia
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-10-2026 14:22:25
Siehe Produktangebot
Gesponsert
Verified Software: Theories, Tools, and Experiments
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 01-11-2026 18:30:07
Siehe Produktangebot

Allgemein

Marke
Arie Gurfinkel
ISBN
Arie Gurfinkel 3319296124
MPN
Arie Gurfinkel 41 black & white illustrations, biograph

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)
Aus53.49 EUR 4
Produkt anzeigen
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)
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)
Aus52.94 EUR 4
Produkt anzeigen
Verified Software. Theories Tools and Experiments
Verified Software. Theories Tools and Experiments
Aus52.94 EUR 4
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)
Aus53.49 EUR 3
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)
Aus50.97 EUR 3
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)
Aus53.49 EUR 3
Produkt anzeigen
Menü