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