Formal and practical aspects of autonomic computing and networking specification development and verification premier reference source by phan cong vinh 2011 10 31 books amazonca. Formal and practical aspects of autonomic computing and networking specification development and verification premier reference source author x march 2012 x books amazonca. Formal and practical aspects ofautonomic computing and networking specification development and verification phan cong vinh nttuniversity vietnam reference. Formal and practical aspects of autonomic computing and networking specification development and verification outlines the characteristics novel approaches of specification refinement programming and verification associated with acn the goal of acn and the topics covered in this work include making networks and computers more self organized self configured self healing self . View formal and practical aspects of autonomic computing and networking specification development and verification on the publishers website for pricing and purchasing information description autonomic computing and networking acn a concept inspired by the human autonomic system is a priority research area and a booming new paradigm in the field