Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification - Phan Cong-vinh - Books - IGI Global - 9781609608453 - October 31, 2011
In case cover and title do not match, the title is correct

Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification

Phan Cong-vinh

Price
A$ 353.49

Ordered from remote warehouse

Expected delivery Feb 26 - Mar 11
Add to your iMusic wish list

Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification

Outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with ACN. The goal of ACN and the topics covered in this work include making networks and computers more self-organized, self- configured, self-healing, self-optimizing, self-protecting, and more.


446 pages, 1, black & white illustrations

Media Books     Hardcover Book   (Book with hard spine and cover)
Released October 31, 2011
Original release date 2012
ISBN13 9781609608453
Publishers IGI Global
Genre Aspects (Academic) > Science / Technology Aspects
Pages 446
Dimensions 216 × 280 × 25 mm   ·   1.32 kg
Editor Cong-Vinh, Phan

Show all

More by Phan Cong-vinh