Computer Aided Verification Editat de Nicolas Halbwachs et al. 23 iun 1999 Paperback Preț: 332.60 lei 415.75 lei 6-8 săpt. -20%