Computer Aided Verification Editat de Thomas Ball et al. 8 aug 2006 Paperback Preț: 636.45 lei 795.57 lei 6-8 săpt. -20%