Theoretical Aspects of Computing - ICTAC 2009 Editat de Martin Leucker et al. 29 iul 2009 Paperback Preț: 325.83 lei 407.29 lei 43-57 zile -20%
Abstraction, Refinement and Proof for Probabilistic Systems Autor Annabelle McIver et al. 19 noi 2004 Hardback Preț: 955.87 lei 1194.84 lei 43-57 zile -20%