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ț: 323.90 lei 404.88 lei
6-8 săpt.
-20%
Cărți de Chris Hawblitzel