Books by Annabelle McIver
No products found matching the selection.
-20%
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
€203.26
€254.08
-20% with code BOOKS
In stock at our supplier
-20%
The Science of Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Geoffrey Smith, Carroll Morgan, Annabelle McIver, Catuscia Palamidessi
€79.18
€98.98
-20% with code BOOKS
In stock at our supplier
-20%
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
€255.80
€319.75
-20% with code BOOKS
In stock at our supplier