Phan Cong Vinh Books
Formal and practical aspects of autonomic computing and networking
"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher.
Read MoreFormal and practical aspects of autonomic computing and networking
"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher.
Read More