Abstraction, refinement and proof for probabilistic systems
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 an...
| Main Author: | McIver, Annabelle. |
|---|---|
| Other Authors: | Morgan, Carroll, 1952-, SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
New York :
Springer,
©2005.
New York : [2005] |
| Physical Description: |
1 online resource (xix, 383 pages) : illustrations. |
| Series: |
Monographs in computer science.
|
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |