Formal Refinement for Operating System Kernels Autor Iain D. Craig 13 oct 2010 Paperback Preț: 626.82 lei 783.52 lei 6-8 săpt. -20%