Formal and practical aspects of autonomic computing and networking :  specification, development, and verification / 
[edited by] Phan Cong-Vinh 
 - Hershey, PA :  Information Science Reference,  c2012 
 - xii, 431 p. :  ill. ;  29 cm. 
<br/><br/> "Premier reference source"--Cover 
<br/><br/>Includes bibliographical references and index 
<br/><br/> "This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher 
<br/><br/><label>ISBN: </label>9781609608453 (hardcover) 1609608453 (hardcover) 9781609608460 (ebook) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Autonomic computing<br/>Computer networks<br/>Formal methods (Computer science)