Book
Abstraction, Refinement and Proof for Probabilistic Systems
Abstraction, Refinement and Proof for Probabilistic Systems «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9780387401157
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of Abstraction, Refinement and Proof for Probabilistic Systems by Charles Morgan, Annabelle McIver & Annabelle McLver
Abstraction, Refinement and Proof for Probabilistic Systems has been reviewed 0 times. The average score is . 0 people has read the book.
There are no reviews for this book yet.
Idea box
