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 ».
Books related to Abstraction, Refinement and Proof for Probabilistic Systems by Charles Morgan, Annabelle McIver & Annabelle McLver
No related books yet.
