عنوان
پدید آورنده
موضوع
رده
TA,340,.M43,2005
TA
,
340
,.
M43
,
2005
کتابخانه
محل استقرار
(alk. paper)
0387401156
IR
ebook10192
انگلیسی
IR
Abstraction, refinement and proof for probabilistic systems
[Electronic Resource]
/ Annabelle McIver, Carroll Morgan
New York
: Springer Science+Business Media,
, c2005.
xix, 383 p.
: ill. ; 24 cm.
(Monographs in computer science)
e
Includes bibliographical references (p. [345]-355) and indexes.
Engineering mathematics.
Probabilities.
Systems engineering.
005
.
1
TA
,
340
,.
M43
,
2005
McIver, Annabelle
Morgan, Carroll� 1952
ایران
005.1
0387401156.pdf
0
old catalog
e
BL
1
a
Y
