ISBN 9780387516097 books & textbook

Abstraction, Refinement and Proof for Probabilistic Systems (EXPLORATION OF THE DEEP CONTINENTAL CRUST)

Annabelle McIver,Charles C. Morgan

Springer /2009T Hardcover
isbn-10: 0387516093 / isbn-13: 9780387516097