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
• Physical Description: v.: digital
• ISBN: 9780387270067
• ISSN: 0172-603X