Abstraction, Refinement and Proof for Probabilistic Systems

• Κύριος συγγραφέας: McIver, Annabelle
• Άλλοι συγγραφείς: Morgan, Carroll
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: New York, NY Springer Science+Business Media, Inc. 2005
• Σειρά: Monographs in Computer Science
• Θέματα: Computer science; Logic design; Computer Science; Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages