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 43-57 zile -20%
