Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

by Annabelle McIver, Charles Carroll Morgan Paperback 2010

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Annabelle McIver, Charles Carroll Morgan
  • ISBN 13: 9781441923127
  • ISBN 10: 1441923128
  • Publication Year: 2010
  • Language: English

Specifications

Index-10 1441923128
Index-13 9781441923127
Language English

✨ Readers also enjoyed...

View All →
Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof …

Charles Carroll Morgan, Annabelle McIver

Inquire
FM 2019: Formal Methods - the Next 30 Years : Third World Congress, Porto, Portugal, October 7-11, 2019, Proceedings

FM 2019: Formal Methods - the Next…

Maurice ter Beek, Annabelle McIver, José N. Oliveira

Inquire
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceed

Logic for Programming, Artificial …

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

Inquire
Programming Methodology

Programming Methodology

Annabelle McIver, Carroll Morgan

Inquire
Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Quantitative Evaluation of Systems…

Annabelle McIver, Andras Horvath

Inquire