Description: Formal and practical aspects of autonomic computing and networking

Cover Image

QR Code

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:	IGI Global.
Other Authors:	Cong-Vinh, Phan.
Format:	Electronic
Language:	English
Published:	Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), 2011.
Subjects:	Autonomic computing. Computer networks. Formal methods (Computer science) ACN Cognitive networks Multi-agent systems Sensor networks Storage and caching systems ACN test-beds Formalizing languages Security and trust Software architectures Validation and verification techniques
Online Access:	Chapter PDFs via platform:

Description
Summary:	"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking"--Provided by publisher.
Physical Description:	electronic texts (415 p.) : digital files. Also available in print.
Format:	Mode of access: World Wide Web.
Bibliography:	Includes bibliographical references.
ISBN:	9781609608460 (ebook)
Access:	Restricted to subscribers or individual electronic text purchasers.