Adapting Proofs-as-Programs Monographs in Computer Science Autor Iman Poernomo et al. 19 noi 2010 Paperback Preț: 998.48 lei 1248.10 lei 6-8 săpt. -20%