Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification - Phan Cong-vinh - Livros - IGI Global - 9781609608453 - 31 de outubro de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification

Phan Cong-vinh

Preço
€ 223,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 24 de mar - 2 de abr
Adicione à sua lista de desejos do iMusic

Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification

Outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with ACN. The goal of ACN and the topics covered in this work include making networks and computers more self-organized, self- configured, self-healing, self-optimizing, self-protecting, and more.


446 pages, 1, black & white illustrations

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de outubro de 2011
Data do lançamento original 2012
ISBN13 9781609608453
Editoras IGI Global
Genre Aspects (Academic) > Science / Technology Aspects
Páginas 446
Dimensões 216 × 280 × 25 mm   ·   1,32 kg
Editor Cong-Vinh, Phan

Mostrar tudo

Mais por Phan Cong-vinh