Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... Notes in Computer Science, 4171, Band 4171)

Buch fasst die Ergebnisse der ersten IFIP TC 2/WG 2.3-Konferenz in Zürich zusammen, beleuchtet theoretische Grundlagen, neue Werkzeuge und experi ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Verified Software: Theories Tools Experiments
Hugendubel
106.99 EUR
Preis aktualisiert am: 29-10-2026 08:34:32
Siehe Produktangebot
Gesponsert
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... Notes in Computer Science (4171), Band 4171)
Medimops DE
106.99 EUR
Preis aktualisiert am: 28-10-2026 22:17:09
Siehe Produktangebot
Gesponsert
Verified Software: Theories, Tools, Experiments
SpringerLink DE
118.00 EUR
Preis aktualisiert am: 28-10-2026 06:12:33
Siehe Produktangebot

Allgemein

Marke
Bertrand Meyer
ISBN
Bertrand Meyer 9783540691471

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
Verified Software: Theories Tools and Experiments
Aus52.94 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: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science)
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)
Aus53.49 EUR 4
Produkt anzeigen
Verified Software: Theorie Tools Experiments
Verified Software: Theorie Tools Experiments
Aus47.00 EUR 2
Produkt anzeigen
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Aus53.49 EUR 1
Produkt anzeigen
Menü