Hoppa till sidans huvudinnehåll

Annabelle McIver – författare

Visar alla böcker från författaren .
6 produkter
Annabelle McIver, Charles Carroll Morgan - Abstraction, Refinement and Proof for Probabilistic Systems, Inbunden

Abstraction, Refinement and Proof for Probabilistic Systems

AvAnnabelle McIver,Charles Carroll Morgan

Inbunden, Engelska, 2004

2 109 kr

Skickas inom 10-15 vardagar

Annabelle McIver, Charles Carroll Morgan - Abstraction, Refinement and Proof for Probabilistic Systems, Häftad

Abstraction, Refinement and Proof for Probabilistic Systems

AvAnnabelle McIver,Charles Carroll Morgan

Häftad, Engelska, 2010

2 109 kr

Skickas inom 10-15 vardagar

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira - Formal Methods – The Next 30 Years, Häftad

Formal Methods – The Next 30 Years

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

AvMaurice H. ter Beek,Annabelle McIverm. fl.

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith - Science of Quantitative Information Flow, Inbunden

Science of Quantitative Information Flow

AvMário S. Alvim,Konstantinos Chatzikokolakism. fl.

Inbunden, Engelska, 2020

849 kr

Skickas inom 10-15 vardagar

Annabelle McIver, Andras Horvath - Quantitative Evaluation of Systems, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Logic for Programming, Artificial Intelligence, and Reasoning

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

AvMartin Davis,Ansgar Fehnkerm. fl.

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar