Formal Models of Operating System Kernels - Iain D. Craig - Livros - Springer London Ltd - 9781846283758 - 13 de dezembro de 2006
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Models of Operating System Kernels 2007 edition

Iain D. Craig

Preço
₩ 235.532

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 15 - 25 de ago

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível como:

Formal Models of Operating System Kernels 2007 edition

Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach - presenting a formal specification of a kernel - starts with basic constructs and develops a set of kernels;

333 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 13 de dezembro de 2006
ISBN13 9781846283758
Editoras Springer London Ltd
Páginas 333
Dimensões 155 × 235 × 20 mm   ·   594 g
Idioma English  
Mostrar tudo

Mais por Iain D. Craig

Ver tudo de Iain D. Craig ( por exemplo Paperback Book e Hardcover Book )