Abstraction, Refinement and Proof for Probabilistic Systems Autor Annabelle McIver et al. 19 noi 2004 Hardback Preț: 957.44 lei 1196.80 lei 6-8 săpt. -20%