Adapting Proofs-As-Programs Autor Iman Poernomo et al. 21 iun 2005 Hardback Preț: 959.22 lei 1199.02 lei 43-57 zile -20%