Formal and practical aspects of autonomic computing and networking : specification, development, and verification /

"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher.

Bibliographic Details

Corporate Author:	ebrary, Inc
Other Authors:	Cong-Vinh, Phan
Format:	eBook
Language:	English
Published:	Hershey, Pa. : Information Science Reference, [2012]
Subjects:	Autonomic computing. Computer networks. Formal methods (Computer science) Electronic books.
Online Access:	Connect to the full text of this electronic book