Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Abstraction

by: Annabelle McIver · Charles Carroll Morgan

Hardcover

details (USA).

ISBN: 978-0-387-40115-7

ISBN-10: 0-387-40115-6

Springer · 2004