Adapting Proofs-As-Programs Autor Iman Poernomo et al. 21 iun 2005 Hardback Preț: 1043.58 lei 1304.47 lei 6-8 săpt. -20%