Abstraction, Refinement and Proof for Probabilistic Systems

This unique, example-driven monograph integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics Includes supplementary material: sn. pub/extras