Systems and Software Verification: Model-Checking Techniques and Tools Autor B. Berard et al. 20 iun 2001 Hardback Preț: 914.22 lei 1142.78 lei 43-57 zile -20%