Certified Programs and Proofs Theoretical Computer Science and General Issues Editat de Chris Hawblitzel et al. noi 2012 Paperback Preț: 322.01 lei 402.51 lei 43-57 zile -20%