Computer Aided Verification Editat de Gerard Berry et al. 4 iul 2001 Paperback Preț: 635.74 lei 794.67 lei 6-8 săpt. -20%