× SoftwarezuverlässigkeitQuantitative Modelle und Nachweisverfahrenvon Günter Becker, Vorwort von L. Camarinopulos35 b/w ill.