Computer Aided Verification Editat de Gregor von Bochmann et al. 30 mar 1993 Paperback Preț: 329.35 lei 411.69 lei 6-8 săpt. -20%
