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