Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions - Lecture Notes in Computer Science - Bertrand Meyer - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540691471 - 7. Juli 2008
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Bertrand Meyer
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions - Lecture Notes in Computer Science 2008 edition

Preis
€ 98,99

Bestellware

Lieferdatum: ca. 13. - 21. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

A Step Towards Verified Software Worries about the reliability of software are as old as software itself;

574 pages, 1, black & white illustrations

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 7. Juli 2008
ISBN13 9783540691471
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 546
Maße 155 × 235 × 29 mm   ·   839 g
Sprache Deutsch  
Redakteur Meyer, Bertrand
Redakteur Woodcock, Jim

Weitere Titel von Bertrand Meyer

Alle anzeigen

Alle Titel von Bertrand Meyer ansehen ( u. a. Taschenbuch und Gebundenes Buch )