Bookbot

Zuverlässigkeit und Verantwortung

Die Ausfallsicherheit von Programmen

Parametre

  • 244 stránok
  • 9 hodin čítania

Viac o knihe

Die Untersuchung beleuchtet die Zuverlässigkeit programmgestützter Maschinen in kritischen Bereichen wie Notfallmedizin und Kraftwerksbetrieb. Es werden verschiedene Verfahren der Informatik analysiert, angefangen bei Spezifikationen und Beweisen bis hin zu Programmtests und statistischen Bewertungsmethoden. Die zentrale These des Buches ist, dass menschliches Verständnis und die Fähigkeit, Verantwortung zu übernehmen, entscheidend für den Erfolg dieser Verfahren sind, sowohl aus theoretischer als auch praktischer Sicht.

Nákup knihy

Zuverlässigkeit und Verantwortung, Heinrich Rust

Jazyk
Rok vydania
2012
product-detail.submit-box.info.binding
(mäkká)
Akonáhle sa objaví, pošleme e-mail.

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť