*Result*: Abstraction, Refinement and Proof for Probabilistic Systems

*Title*:
Abstraction, Refinement and Proof for Probabilistic Systems / by Annabelle McIver, Charles Carroll Morgan
*Author/editor-in-chief*:
McIver, Annabelle (Verfasser); Morgan, Charles Carroll (Verfasser)
*Edition*:
1st edition 2005
*Publication*:
New York, NY : Springer New York, 2005
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XX, 388 Seiten) : 63 illus.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Monographs in Computer Science, ISSN 2512-5486
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: McIver, Annabelle. Abstraction, Refinement and Proof for Probabilistic Systems. - New York, NY : Springer New York, 2005. - ISBN 9780387401157
*RVK-Notation*:
*RB 10115* *ST 134* *ST 230*
*Subject Added Keywords*:
*ISBN*:
9780387270067 ; 038727006X ; 0387401156 ; 0387516093 ; 1441923128 ; 9780387401157 (Sekundärausgabe) ; 9780387516097 (Sekundärausgabe) ; 9781441923127 (Sekundärausgabe)
*DOI*:
10.1007/b138392

*Additional information*

*Additional functions*