Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
Editat de Georges Gonthier et al.
18 noi 2013
Paperback
Preț: 333.72 lei 417.15 lei
6-8 săpt.
-20%
Cărți de Georges Gonthier