Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
by Annabelle McIver, Charles C. Morgan
2004388 pages
by Annabelle McIver, Charles C. Morgan
No users with this book on their shelves. Maybe you could be the first.
No reviews yet. Add your review.
No lists containing this book.
The Amazon links are affiliate links
Springer
Springer
ISBN 10: 0387401156
ISBN 13: 9780387401157