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 7-10 vardagar
Häftad, Engelska, 2010
2 109 kr
Skickas inom 7-10 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 7-10 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 7-10 vardagar
Häftad, Engelska, 2018
729 kr
Skickas inom 7-10 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 7-10 vardagar