Formal and practical aspects of autonomic computing and networking : specification, development, and verification /
"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Hershey, PA : Information Science Reference,
c201
|
| Subjects: |