Formal and practical aspects of autonomic computing and networking : specification, development, and verification /
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.
"Premier reference source"--Cover
Includes bibliographical references and index
"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher
9781609608453 (hardcover) 1609608453 (hardcover) 9781609608460 (ebook)
Autonomic computing
Computer networks
Formal methods (Computer science)
"Premier reference source"--Cover
Includes bibliographical references and index
"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher
9781609608453 (hardcover) 1609608453 (hardcover) 9781609608460 (ebook)
Autonomic computing
Computer networks
Formal methods (Computer science)