Constraint-Based Verification Autor Jun Yuan et al. 13 ian 2006 Hardback Preț: 641.21 lei 754.37 lei 43-57 zile -15%