Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Editat de Chris Hawblitzel et al.
noi 2012
Paperback
Preț: 333.40 lei 416.75 lei
6-8 săpt.
-20%
Cărți de Chris Hawblitzel