Types for Proofs and Programs Editat de Marino Miculan et al. 26 mai 2008 Paperback Preț: 318.06 lei 397.57 lei 43-57 zile -20%