Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

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

by Annabelle McIver, Andras Horvath Paperback 2018

⭐ 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, Andras Horvath
  • ISBN 13: 9783319991535
  • ISBN 10: 3319991531
  • Publication Year: 2018
  • Language: English

Specifications

Index-10 3319991531
Index-13 9783319991535
Language English

✨ Readers also enjoyed...

View All →
Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof …

Charles Carroll Morgan, Annabelle McIver

Inquire
Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof …

Annabelle McIver, Charles Carroll Morgan

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