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

Iain D. Craig
Formal Models of Operating System Kernels Softcover reprint of hardcover 1st ed. 2007 edition

Preço
R$ 908,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de dez - 5 de jan de 2026
Presentes de Natal podem ser trocados até 31 de janeiro

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:

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     Paperback Book   (Livro de capa flexível e brochura)
Lançado 13 de outubro de 2010
ISBN13 9781849965927
Editoras Springer London Ltd
Páginas 333
Dimensões 155 × 235 × 18 mm   ·   485 g
Idioma Inglês  

Mais por Iain D. Craig

Mostrar tudo

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