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

Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification PDF
By:Cong-Vinh, Phan
Published on 2011-10-31 by IGI Global

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.

This Book was ranked at 28 by Google Books for keyword Computers Technology Programming novel.

Book ID of Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification's Books is 8-KeBQAAQBAJ, Book which was written byCong-Vinh, Phanhave ETAG "ZoCraXRaccw"

Book which was published by IGI Global since 2011-10-31 have ISBNs, ISBN 13 Code is 9781609608460 and ISBN 10 Code is 1609608461

Reading Mode in Text Status is false and Reading Mode in Image Status is true

Book which have "367 Pages" is Printed at BOOK under CategoryComputers

Book was written in en

eBook Version Availability Status at PDF is true and in ePub is false

Book Preview

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

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

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

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

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