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"--Provided by publisher.
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic |
| Language: | English |
| Published: |
Hershey, Pa. :
IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),
2011.
|
| Subjects: | |
| Online Access: | Chapter PDFs via platform: |