Formal Refinement for Operating System Kernels Autor Iain D Craig 31 iul 2007 Hardback Preț: 631.12 lei 788.91 lei 6-8 săpt. -20%