Formal Refinement for Operating System Kernels Autor Iain D Craig 31 iul 2007 Hardback Preț: 674.20 lei 842.76 lei 43-57 zile -20%