Computer Aided Verification Editat de Kousha Etessami et al. 24 iun 2005 Paperback Preț: 636.67 lei 795.84 lei 6-8 săpt. -20%