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 6-8 săpt. -20%