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

Av Annabelle McIver, Charles Carroll Morgan

Inbunden, Engelska, 2004

2 069 kr

Skickas inom 10-15 vardagar

Abstraction, Refinement and Proof for Probabilistic Systems

Av Annabelle McIver, Charles Carroll Morgan

Häftad, Engelska, 2010

2 069 kr

Skickas inom 10-15 vardagar

Formal Methods – The Next 30 Years

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

Av Maurice H. ter Beek, Annabelle McIver m. fl

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Science of Quantitative Information Flow

Av Mário S. Alvim, Konstantinos Chatzikokolakis m. fl

Inbunden, Engelska, 2020

849 kr

Skickas inom 10-15 vardagar

Quantitative Evaluation of Systems

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

Av Annabelle McIver, Andras Horvath

Häftad, Engelska, 2018

709 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

Av Martin Davis, Ansgar Fehnker m. fl

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar