Abstraction, Refinement and Proof for Probabilistic Systems Autor Annabelle McIver et al. 19 noi 2004 Hardback Preț: 959.72 lei 1199.64 lei 43-57 zile -20%