Abstraction, Refinement and Proof for Probabilistic Systems
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.
| Autor: | McIver, Annabelle Morgan, Charles Carroll |
|---|---|
| ISBN: | 9781441923127 |
| Sprache: | Englisch |
| Seitenzahl: | 388 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer US |
| Veröffentlicht: | 19.11.2010 |
| Schlagworte: | Algorithms Data refinement Program semantics Random algorithms Sequential programming Temporal logic algorithm logic model checking programming |