Certified Programs and Proofs Theoretical Computer Science and General Issues Editat de Georges Gonthier et al. 18 noi 2013 Paperback Preț: 322.40 lei 403.00 lei 43-57 zile -20%