Koop 10 boeken voor 10 € hier!
Bookbot

Zuverlässigkeit und Verantwortung

Die Ausfallsicherheit von Programmen

Parameters

  • 244bladzijden
  • 9 uur lezen

Meer over het boek

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.

Een boek kopen

Zuverlässigkeit und Verantwortung, Heinrich Rust

Taal
Jaar van publicatie
2012
product-detail.submit-box.info.binding
(Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief