Hoppa till sidans huvudinnehåll

Annabelle McIver - Böcker

Visar alla böcker från författaren Annabelle McIver.
6 produkter

Abstraction, Refinement and Proof for Probabilistic Systems

AvAnnabelle McIver,Charles Carroll Morgan

Inbunden, Engelska, 2004

2 029 kr

Skickas inom 10-15 vardagar

Abstraction, Refinement and Proof for Probabilistic Systems

AvAnnabelle McIver,Charles Carroll Morgan

Häftad, Engelska, 2010

2 029 kr

Skickas inom 10-15 vardagar

Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

AvMaurice H. ter Beek,Annabelle McIver,José N. Oliveira,Jose N. Oliveira,Maurice H. Ter Beek

Häftad, Engelska, 2019

709 kr

Skickas inom 10-15 vardagar

Science of Quantitative Information Flow

AvMário S. Alvim,Konstantinos Chatzikokolakis,Annabelle McIver,Carroll Morgan,Catuscia Palamidessi,Geoffrey Smith,Mario S. Alvim

Inbunden, Engelska, 2020

829 kr

Skickas inom 10-15 vardagar

Del 11024 - Lecture Notes in Computer Science

Quantitative Evaluation of Systems

15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

AvAnnabelle McIver,Andras Horvath

Häftad, Engelska, 2018

689 kr

Skickas inom 10-15 vardagar

Logic for Programming, Artificial Intelligence, and Reasoning

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

AvMartin Davis,Ansgar Fehnker,Annabelle McIver,Andrei Voronkov

Häftad, Engelska, 2015

709 kr

Skickas inom 10-15 vardagar