Abstraction, Refinement and Proof for Probabilistic Systems |
|
| Author:
| Morgan, Charles Carroll
McIver, Annabelle |
| Series title: | Monographs in Computer Science Ser. |
| ISBN: | 978-0-387-40115-7 |
| Publication Date: | Jan 2005 |
| Publisher: | Springer
|
| Book Format: | Hardback |
| List Price: | AUD $375.95 |
Book Description:
|
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm, addressing an essential foundation topic for modern sequential programming methodology.
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm, addressing an essential foundation topic for modern sequential programming methodology.