Tell your friends about this item:
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
Phan Cong-vinh
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
Phan Cong-vinh
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
See all of Phan Cong-vinh ( e.g. Hardcover Book and Paperback Book )