Formal Refinement for Operating System Kernels - Iain D. Craig - Livros - Springer London Ltd - 9781846289668 - 31 de julho de 2007
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Refinement for Operating System Kernels 2007 edition

Iain D. Craig

Preço
R$ 696,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 16 - 23 de set

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 Refinement for Operating System Kernels 2007 edition

This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification.

332 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de julho de 2007
ISBN13 9781846289668
Editoras Springer London Ltd
Páginas 332
Dimensões 155 × 235 × 20 mm   ·   666 g
Idioma English  
Mostrar tudo

Mais por Iain D. Craig

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