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

by Charles Carroll Morgan (Contributor), Charles Carroll Morgan (Contributor), Annabelle McIver (Author)

New
Paperback
2010
$127.81

$127.81

Save:$11.71 (8%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 404
Edition: Softcover reprint of hardcover 1st ed. 2005
Publisher: Springer
Published: 19 Nov 2010
ISBN 10: 1441923128
ISBN 13: 9781441923127

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

New

$127.81

$127.81

More Information