Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan.
| Author/creator |
McIver, Annabelle |
| Other author/creator | Morgan, Carroll, 1952- |
| Format | Book and Print |
| Publication Info | New York : Springer Science+Business Media, ©2005. |
| Description | xix, 383 pages : illustrations ; 24 cm. |
| Subject(s) |
Click here for more information about this title
| Series | Monographs in computer science Monographs in computer science. ^A363342 |
| Bibliography note | Includes bibliographical references (p. [345]-355) and indexes. |
| LCCN | 2004057839 |
| ISBN | 0387401156 (alk. paper) |
Available Items
Availability data is currently unavailable.