| Shelfclass_id | 2.M |
| Sortkey | MCIVER, ANNABELLE |
| Authors | Annabelle McIver, Carroll Morgan |
| Title | Abstraction, Refinement and Proof for Probabilistic Systems |
| Publisher | Springer-Verlag |
| Year | c2005 |
| Languages | eng |
| Isbn | 0387401156 |
| Series | Monographs in computer science |
| Description | (alk. paper) xix, 383 p. ill. 24 cm |
| Record date | 20060714 |
| Location | New York |
| Keywords | Engineering mathematics, Probabilities, Systems engineering |