Treffer: Abstraction, Refinement and Proof for Probabilistic Systems
Titel:
Abstraction, Refinement and Proof for Probabilistic Systems / by Annabelle McIver, Charles Carroll Morgan
Verantwortlich:
Ausgabe:
1st edition 2005
Veröffentlicht:
New York, NY : Springer New York, 2005
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XX, 388 Seiten) : 63 illus.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Monographs in Computer Science, ISSN 2512-5486
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: McIver, Annabelle. Abstraction, Refinement and Proof for Probabilistic Systems. - New York, NY : Springer New York, 2005. - ISBN 9780387401157
Schlagworte:
ISBN:
9780387270067 ; 038727006X ; 0387401156 ; 0387516093 ; 1441923128 ; 9780387401157 (Sekundärausgabe) ; 9780387516097 (Sekundärausgabe) ; 9781441923127 (Sekundärausgabe)
DOI:
10.1007/b138392