Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science)

Der Band der fünften VSTTE‑Konferenz bietet aktuelle Forschungsergebnisse zu formalen Methoden, Analysewerkzeugen und experimentellen Validierungen ...
Wo zu kaufen (1) Eigenschaften
Gesponsert
Verified Software: Theory, Tools, Experiments, Fachbücher von Andrey Rybalchenko, Ernie Cohen
Galaxus.de
53.49 EUR
Preis aktualisiert am: 15-09-2026 22:45:41
Siehe Produktangebot

Allgemein

Marke
Ernie Cohen
MPN
Ernie Cohen 83 black & white illustrations, biograph
ISBN
Ernie Cohen 9783642541070

Eigenschaften

Ähnliche Produkte

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, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture Notes in Computer Science)
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture Notes in Computer Science)
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
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Produkt anzeigen
Menü