Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification by Phan Cong-vinhFormal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification by Phan Cong-vinh

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

byPhan Cong-vinh

Hardcover | October 31, 2011

Pricing and Purchase Info

$248.07

Earn 1,240 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

Autonomic computing and networking (ACN), a concept inspired by the human autonomic system, is a priority research area and a booming new paradigm in the field. 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.
Title:Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and…Format:HardcoverDimensions:367 pages, 9.41 × 7.24 × 0.98 inPublished:October 31, 2011Publisher:Igi GlobalLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:1609608453

ISBN - 13:9781609608453

Look for similar items by category:

Reviews