Abstraction, Refinement and Proof for Probabilistic Systems von Annabelle McIver | ISBN 9780387270067

Abstraction, Refinement and Proof for Probabilistic Systems

von Annabelle McIver und Charles Carroll Morgan
Mitwirkende
Autor / AutorinAnnabelle McIver
Autor / AutorinCharles Carroll Morgan
Buchcover Abstraction, Refinement and Proof for Probabilistic Systems | Annabelle McIver | EAN 9780387270067 | ISBN 0-387-27006-X | ISBN 978-0-387-27006-7
Leseprobe

Abstraction, Refinement and Proof for Probabilistic Systems

von Annabelle McIver und Charles Carroll Morgan
Mitwirkende
Autor / AutorinAnnabelle McIver
Autor / AutorinCharles Carroll Morgan
This unique, example-driven monograph integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics Includes supplementary material: sn. pub/extras