Abstraction, Refinement and Proof for Probabilistic Systems

• Main Author: McIver, Annabelle
• Other Authors: Morgan, Carroll
• Format: Electronic Kit Book
• Language: English
• Published: New York, NY Springer Science+Business Media, Inc. 2005
• Series: Monographs in Computer Science
• Subjects: Computer science; Logic design; Computer Science; Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages