Dieses Buch führt tief in die systematische Prüfung von Software ein, erklärt mathematische Modelle, testgesteuerte Entwicklung und Risikomanagement aus einer ingenieurwissenschaftlichen Perspektive und bietet praxisnahe Fallstudien für Entwickler und Prüfer.