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ț: 327.02 lei 408.78 lei
43-57 zile
-20%