Abstraction, Refinement and Proof for Probabilistic Systems PDF
by Annabelle McIver, Charles Carroll Morgan
Part of the Monographs in Computer Science series
Description
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 area of 'quantitative' program logics.
Information
-
Download - Immediately Available
- Format:PDF
- Publisher:Springer New York
- Publication Date:27/10/2005
- Category:
- ISBN:9780387270067
Other Formats
- Hardback from £120.95
- Paperback / softback from £125.25
Information
-
Download - Immediately Available
- Format:PDF
- Publisher:Springer New York
- Publication Date:27/10/2005
- Category:
- ISBN:9780387270067