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

1 999 kr

Skickas inom 10-15 vardagar

Abstraction, Refinement and Proof for Probabilistic Systems

AvAnnabelle McIver,Charles Carroll Morgan

Häftad, Engelska, 2010

1 999 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 m. fl.

Häftad, Engelska, 2019

709 kr

Skickas inom 10-15 vardagar

Science of Quantitative Information Flow

AvMário S. Alvim,Konstantinos Chatzikokolakis m. fl.

Inbunden, Engelska, 2020

829 kr

Skickas inom 10-15 vardagar

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 m. fl.

Häftad, Engelska, 2015

709 kr

Skickas inom 10-15 vardagar