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

Name: Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Brand: Springer
Availability: OutOfStock
Rating: 5 (1 reviews)

By Annabelle McIver

0 - Default Title

Product details

Edition:

1

Number of Pages:

408

Release Date:

2004-11-19

Publication Date:

2004-11-19

Publisher:

Springer

Languages:

Published: English, Original: English

ISBN10:

0387401156

GPSR Manufacturer Reference:

[email protected]

Weight:

1650 g

Buy on Amazon

Currently sold out