McIver, Annabelle books & textbook
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings (Theoretical Computer Science and General Issues)
McIver, Annabelle Horvath, Andras
Springer /2018-08-15 Paperback / 434 Pages
isbn-10: 3319991531 / isbn-13: 9783319991535
The Science of Quantitative Information Flow (Information Security and Cryptography)
Alvim, Mário S. Chatzikokolakis, Konstantinos McIver, Annabelle Morgan, Carroll Palamidessi, Catuscia Smith, Geoffrey
Springer /2020-09-23 Hardcover / 506 Pages
isbn-10: 3319961292 / isbn-13: 9783319961293
Abstraction, Refinement and Proof for Probabilistic Systems (EXPLORATION OF THE DEEP CONTINENTAL CRUST)
Annabelle McIver,Charles C. Morgan
Springer /2009T Hardcover
isbn-10: 0387516093 / isbn-13: 9780387516097
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ... Computer Science and General Issues)
Davis, Martin Fehnker, Ansgar McIver, Annabelle Voronkov, Andrei
Springer /2015-12-03 Paperback / 655 Pages
isbn-10: 3662488981 / isbn-13: 9783662488980
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Programming and Software Engineering)
ter Beek, Maurice H. McIver, Annabelle Oliveira, José N.
Springer /2019-09-15 Paperback / 796 Pages
isbn-10: 303030941X / isbn-13: 9783030309411
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
McIver, Annabelle Morgan, Charles Carroll
Springer /2010-11-19 Paperback / 408 Pages
isbn-10: 1441923128 / isbn-13: 9781441923127
