Opening book details…
Can I read Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) on EtoBox?
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) by Annabelle McIver, Charles Carroll Morgan, Charles C. Morgan is a computer science book available to read on EtoBox.
What is Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) about?
<p>Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .</p> <p><br>Presents results of a large and integrated body of research in the area of 'quantitative' program logics.</p>
Who reads Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Annabelle McIver, Charles Carroll Morgan, Charles C. Morgan
- Publisher
- Springer Science+Business Media, Inc
- Published
- 2005
- Language
- EN
- ISBN
- 9780387401157
- Category
- computer science
- Subjects
- Engineering, Mathematics, Programming
- Updated
- 2026-03-25
More by Annabelle McIver, Charles Carroll Morgan, Charles C. Morgan
Browse all works by Annabelle McIver, Charles Carroll Morgan, Charles C. Morgan
Similar books
- Handbook of Logic and Proof Techniques for Computer Science — Krantz, Steven G., (2002)
- Specification And Development Of Interactive Systems: Focus On Streams, Interfaces, And Refinement (monographs In Computer Science) — Manfred Broy, Ketil Stølen (2001)
- Expert Systems and Probabilistic Network Models (Monographs in Computer Science) — Enrique Castillo, José Manuel Gutiérrez, Ali S. Hadi (auth.) (1997)
- Programming Methodology (Monographs in Computer Science) — Morgan C. Mclver A. (2012)
- Modular Compiler Verification: A Refinement-algebraic Approach Advocating Stepwise Abstraction (lecture Notes In Computer Science) — Markus Müller-Olm (auth.) (1997)
- A Basis for Theoretical Computer Science (Monographs in Computer Science) — Michael A. Arbib, A.J. Kfoury, Robert N. Moll (2012)
