عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook23111
eng
Abstraction, refinement and proof for probabilistic systems
New York :
: Springer,
, 2005.
Print
Engineering mathematics. ; Probabilities. ; Systems engineering. ;
; -McIver, Annabelle. ; Morgan, Carroll, ; 1952
old catalog
