Certified Programs and Proofs Lecture Notes in Computer Science, nr. 8307 Editat de Georges Gonthier et al. 18 noi 2013 Paperback Preț: 323.39 lei 404.23 lei 6-8 săpt. -20%