Information Science Reference
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments
$217.52
Information Science Reference
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
Product Code:
9781609608453
ISBN13:
9781609608453
Condition:
New
$217.52
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
$217.52
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.
| Author: Phan Cong-Vinh |
| Publisher: Information Science Reference |
| Publication Date: Oct 31, 2011 |
| Number of Pages: 446 pages |
| Binding: Hardback or Cased Book |
| ISBN-10: 1609608453 |
| ISBN-13: 9781609608453 |
Related Products
