Annabelle McIver
Popular items by Annabelle McIver
View all offers-
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
McIver, Annabelle; Morgan, Charles Carroll
Item prices starting from
View 26 offersUS$ 38.33
-
The Science of Quantitative Information Flow (Information Security and Cryptography)
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith,...
Item prices starting from
View 16 offersUS$ 60.01
