Abstraction, Refinement and Proof for Probabilistic Systems
Autor Annabelle McIver et al.
19 noi 2004
Hardback
Preț: 996.19 lei 1245.24 lei
43-57 zile
-20%
Cărți de Annabelle McIver
The Science of Quantitative Information Flow
Autor Mário S. Alvim et al.
23 sep 2020
Hardback
Preț: 466.10 lei 582.63 lei
43-57 zile
-20%