Ebook: Abstraction, refinement and proof for probabilistic systems
Author: McIver Annabelle, Morgan Charles C
- Genre: Mathematics // Logic
- Tags: Engineering mathematics., Probabilities., Systems engineering.
- Series: Monographs in computer science
- Year: 2005
- Publisher: Springer New York
- Language: English
- pdf
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.
Abstract:
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .Presents results of a large and integrated body of research in the Read more...
Download the book Abstraction, refinement and proof for probabilistic systems for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)