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