Title: Formal and practical aspects of autonomic computing and networking
Description: "This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher.
Subjects: Computer networks, Formal methods (Computer science), Autonomic computing, Electronic data processing, System design, Computer science