Goodreads helps you keep track of books you want to read.
Start by marking “Abstraction, Refinement and Proof for Probabilistic Systems” as Want to Read:
Abstraction, Refinement and Proof for Probabilistic Systems
Enlarge cover
Rate this book
Clear rating
Open Preview

Abstraction, Refinement and Proof for Probabilistic Systems

it was amazing 5.0  ·  Rating details ·  1 Rating  ·  0 Reviews
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.
Hardcover, 388 pages
Published November 19th 2004 by Springer
More Details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

Be the first to ask a question about Abstraction, Refinement and Proof for Probabilistic Systems

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-2)
filter  |  sort: default (?)  |  Rating Details
Les
rated it it was amazing
Mar 25, 2012
Hans
marked it as to-read
May 12, 2017
There are no discussion topics on this book yet. Be the first to start one »

Share This Book