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 (1) 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: 16-09-2026 21:28:30
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
Verified Software. Theories, Tools and Experiments
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: 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: 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ü