Abstraction, Refinement and Proof for Probabilistic Systems, Fachbücher von Annabelle McIver, Charles Carroll Morgan

"Abstraction, Refinement and Proof for Probabilistic Systems" bietet eine umfassende und rigorose Untersuchung der Modellierung und des Nachweises von Computersystemen, die Wahrscheinlichkeiten integrieren. In einer Zeit, in der probabilistische Techniken zunehmend in Computerprogrammen und -systemen eingesetzt werden, um die Effizienz zu steigern und Risiken zu quantifizieren, ist dieses Werk von grosser Bedeutung. Es basiert auf der traditionellen Booleschen Logik für sequenzielle Programme und erweitert diese auf numerische Urteile, was neue Perspektiven in Bereichen wie zufällige Algorithmen und Fehlertoleranz eröffnet. Die Struktur des Buches ist klar gegliedert: Der erste Teil behandelt die probabilistische Programm-Logik mit zahlreichen Beispielen und Fallstudien, während der zweite Teil die detaillierte Semantik darstellt. Der dritte Teil wendet die Ansätze auf fortgeschrittene Themen wie temporale Kalküle und Zwei-Spieler-Spiele an. Dieses Buch ist eine wertvolle Ressource für alle, die sich mit der formalen Analyse probabilistischer Systeme beschäftigen.