Buy Used and New Annabelle McIver Books

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings: 9450 (Lecture Notes in Computer Science)

by Martin Davis,Ansgar Fehnker,Annabelle McIver,Andrei Voronkov

ISBN 13: 9783662488980

Format: Paperback (656 pages)
Publisher: Springer
Published: 30 Dec 2015

Save for later

The Science of Quantitative Information Flow (Information Security and Cryptography)

by Mário S. Alvim,Konstantinos Chatzikokolakis,Annabelle McIver

ISBN 13: 9783319961293

Format: Hardcover (508 pages)
Publisher: Springer
Published: 11 Jan 2019

Save for later

Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings: 11024 (Lecture Notes in Computer Science)

by Annabelle McIver,Andras Horvath

ISBN 13: 9783319991535

Format: Paperback (436 pages)
Publisher: Springer
Published: 31 Oct 2018

Save for later

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

by Annabelle McIver,Charles Carroll Morgan

ISBN 13: 9781441923127

Format: Paperback (404 pages)
Publisher: Springer
Published: 19 Nov 2010

Save for later