Abstraction, Refinement and Proof for Probabilistic Systems
Author | : Annabelle McIver |
Publisher | : Springer Science & Business Media |
Total Pages | : 412 |
Release | : 2005 |
ISBN-10 | : 0387401156 |
ISBN-13 | : 9780387401157 |
Rating | : 4/5 (56 Downloads) |
Download or read book Abstraction, Refinement and Proof for Probabilistic Systems written by Annabelle McIver and published by Springer Science & Business Media. This book was released on 2005 with total page 412 pages. Available in PDF, EPUB and Kindle. Book excerpt: Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics. This book illustrates, by examples, the typical steps necessary to build a mathematical model of any programming paradigm.