Abstraction, Refinement and Proof for Probabilistic Systems
Download or Read eBook Abstraction, Refinement and Proof for Probabilistic Systems PDF written by Annabelle McIver and published by Springer Science & Business Media. This book was released on 2005-10-27 with total page 394 pages. Available in PDF, EPUB and Kindle.
Author | : Annabelle McIver |
Publisher | : Springer Science & Business Media |
Total Pages | : 394 |
Release | : 2005-10-27 |
ISBN-10 | : 9780387270067 |
ISBN-13 | : 038727006X |
Rating | : 4/5 (67 Downloads) |
Book Synopsis Abstraction, Refinement and Proof for Probabilistic Systems by : Annabelle McIver
Book excerpt: 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.