Constraint-Based Verification Autor Jun Yuan et al. 13 ian 2006 Hardback Preț: 621.03 lei 730.62 lei 6-8 săpt. -15%