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