Abstraction, refinement and proof for probabilistic systems
- Författare
- Annabelle. McIver
- (Annabelle McIver, Carroll Morgan.)
- Genre
- Electronic books., Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | c2005 | New York, New York | xix, 383 sidor. ill. 24 cm. | 978-0-387-27006-7 |