TY  - BOOK
AU  - Cong-Vinh,Phan
TI  - Formal and practical aspects of autonomic computing and networking: specification, development, and verification 
SN  - 9781609608453 (hardcover)
PY  - 2012///
CY  - Hershey, PA
PB  - Information Science Reference
KW  - Autonomic computing
KW  - Computer networks
KW  - Formal methods (Computer science)
N1  - "Premier reference source"--Cover; Includes bibliographical references and index
N2  - "This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher
ER  -