Abstraction, Refinement and Proof for Probabilistic Systems
Autor Annabelle McIver et al.
19 noi 2004
Hardback
Preț: 959.72 lei 1199.64 lei
6-8 săpt.
-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ț: 445.45 lei 556.82 lei
6-8 săpt.
-20%