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