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