Tests and Proofs, Fachbücher von Bertrand Meyer, Yuri Gurevich
Das Fachbuch "Tests and Proofs" von Springer bietet eine umfassende Analyse der beiden wesentlichen Ansätze zur Gewährleistun... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Fachbuch "Tests and Proofs" von Springer bietet eine umfassende Analyse der beiden wesentlichen Ansätze zur Gewährleistung der Softwarezuverlässigkeit: das Testen und das Beweisen von Programmen. Es wird erörtert, wie diese beiden Methoden, die traditionell als getrennt betrachtet werden, in der Praxis miteinander verbunden sind. Der Autor, Bertrand Meyer, beleuchtet die Herausforderungen und Möglichkeiten, die sich aus der Kombination von Tests und Beweisen ergeben. Durch die Betrachtung der historischen Entwicklung und der aktuellen Forschung wird deutlich, dass beide Ansätze nicht nur koexistieren, sondern sich auch gegenseitig ergänzen können. Das Buch richtet sich an Fachleute und Studierende der Informatik, die ein tieferes Verständnis für die Methoden der Softwareverifikation und -validierung erlangen möchten. Es bietet wertvolle Einblicke in die theoretischen Grundlagen und praktischen Anwendungen, die für die Entwicklung fehlerfreier Software entscheidend sind.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer