Annabelle McIver - Böcker
Visar alla böcker från författaren Annabelle McIver.
6 produkter
6 produkter
Inbunden, Engelska, 2004
2 109 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2010
2 109 kr
Skickas inom 10-15 vardagar
Formal Methods – The Next 30 Years
Av Maurice H. ter Beek, Annabelle McIver, José N. Oliveira, Jose N. Oliveira, Maurice H. Ter Beek
Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar
Science of Quantitative Information Flow
Av Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith, Mario S. Alvim
Inbunden, Engelska, 2020
849 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2018
729 kr
Skickas inom 10-15 vardagar
Logic for Programming, Artificial Intelligence, and Reasoning
Av Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
Häftad, Engelska, 2015
729 kr
Skickas inom 10-15 vardagar