Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification (Premier Reference Source) - Hardcover

 
9781609608453: Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification (Premier Reference Source)
Hardcover
ISBN 10: 1609608453 ISBN 13: 9781609608453
Verlag: Information Science Reference, 2011

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Information Science Reference
Erscheinungsdatum
2011
Sprache
Englisch
ISBN 10 
1609608453
ISBN 13 
9781609608453
Einband
Gebundene Ausgabe
Anzahl der Seiten
446
Herausgeber
Cong-Vinh Phan
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  160960847X ISBN 13:  9781609608477
Verlag: Information Science Reference, 2011
Product Bundle