ISBN 9781441923127 books & textbook
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
McIver, Annabelle Morgan, Charles Carroll
Springer /2010-11-19 Paperback / 408 Pages
isbn-10: 1441923128 / isbn-13: 9781441923127
