ECU Libraries Catalog

Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan.

Author/creator McIver, Annabelle
Other author/creatorMorgan, Carroll, 1952-
Format Book and Print
Publication InfoNew York : Springer Science+Business Media, ©2005.
Descriptionxix, 383 pages : illustrations ; 24 cm.
Series Monographs in computer science
Monographs in computer science. ^A363342
Bibliography noteIncludes bibliographical references (p. [345]-355) and indexes.
LCCN 2004057839
ISBN0387401156 (alk. paper)

Available Items

Library Location Call Number Status Item Actions
Joyner General Stacks TA340 .M43 2005 ✔ Available Place Hold