http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
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.
section 1. Formal and practical aspects of autonomic computing -- section 2. Formal and practical aspects of autonomic networking.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2012. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
Includes bibliographical references and index.
9781609608477 (print & perpetual access)