- Anglický jazyk
Formal and Practical Aspects of Autonomic Computing and Networking
Autor: Phan Cong-Vinh
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
200.97 €
bežná cena: 223.30 €
O knihe
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. This book helpfully details the steps necessary towards realizing computer and network autonomy and its implications.
- Vydavateľstvo: Information Science Reference
- Rok vydania: 2011
- Formát: Hardback
- Rozmer: 286 x 221 mm
- Jazyk: Anglický jazyk
- ISBN: 9781609608453