Formal and practical aspects of autonomic computing and networking
Subtitle: specification, development, and verification
By: [edited by] Phan Cong-Vinh
Publisher: Information Science Reference
Published: 2012
Place of publication: Hershey, PA
Language: eng
Number of pages: 431
ISBN-13: 9781609608453; 9781609608460; 9781609608477
Subjects: Computer networks; Formal methods (Computer science); Autonomic computing
Description: "This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher.
Notes: "Premier reference source"--Cover.

Includes bibliographical references and index.