Abstraction, Refinement and Proof for Probabilistic Systems Monographs in Computer Science Autor Annabelle McIver et al. 19 noi 2010 Paperback Preț: 953.70 lei 1192.13 lei 6-8 săpt. -20%