Explore the latest books of this year!
Bookbot

Zuverlässigkeit und Verantwortung

Die Ausfallsicherheit von Programmen

Parameters

  • 244 pages
  • 9 hours of reading

More about the book

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.

Book purchase

Zuverlässigkeit und Verantwortung, Heinrich Rust

Language
Released
2012
product-detail.submit-box.info.binding
(Paperback)
We’ll email you as soon as we track it down.

Payment methods

No one has rated yet.Add rating