McIver, Annabelle.
Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. - New York, NY : Springer New York, 2005. - digital. - Monographs in Computer Science, 0172-603X . - Monographs in Computer Science, .
9780387270067
10.1007/b138392 doi
Computer science.
Logic design.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
QA76.6-76.66
005.11
Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. - New York, NY : Springer New York, 2005. - digital. - Monographs in Computer Science, 0172-603X . - Monographs in Computer Science, .
9780387270067
10.1007/b138392 doi
Computer science.
Logic design.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
QA76.6-76.66
005.11