Applied Formal Verification Autor Douglas Perry et al. 16 mai 2005 Hardback Preț: 633.60 lei 666.94 lei 42-47 zile -5%