0387401156 (alk. paper)
IR
EN-57922
انگلیسی
IR
Abstraction, refinement and proof for probabilistic systems
[Book]
/ Annabelle McIver, Carroll Morgan
New York
: Springer,
, c2005.
xix, 383 p. , ill. , 24 cm.
(Monographs in computer science)
Electronic
Includes bibliographical references (p. [345]-355) and indexes.
E-BOOK
McIver, Annabelle.
Morgan, Carroll,1952-
ایران
0387401156.pdf
عادی
عادی
0387401156.pdf
متن
old catalog
e
BL
1
a
Y
