Applied Formal Verification Autor Douglas Perry et al. 16 mai 2005 Hardback Preț: 672.89 lei 708.31 lei 45-50 zile -5%