Fortell venner om denne varen:
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
Phan Cong-vinh
Pris
A$ 344,49
Bestillingsvarer
Forventes levert 11. - 22. jul
Legg til iMusic ønskeliste
Eller
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 | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 31. oktober 2011 |
| Opprinelig utgitt | 2012 |
| ISBN13 | 9781609608453 |
| Utgivere | IGI Global |
| Sjanger | Aspects (Academic) > Science / Technology Aspects |
| Antall sider | 446 |
| Mål | 216 × 280 × 25 mm · 1,32 kg |
| Språk | Engelsk |
| Redaktør | Cong-Vinh, Phan |
![Cover for Phan Cong-Vinh · Context-Aware Systems and Applications: Second International Conference, ICCASA 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected Papers - Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications (Pocketbok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/389/9783319059389.jpg?phan-cong-vinh-2014-context-aware-systems-and-applications-second-international-conference-iccasa-2013-phu-quoc-island-vietnam-november-25-26-2013-revised-selected-papers-lecture-notes-of-the-institute-for-computer-sciences-social-informatics-and-telecommu&class=scaled&v=1618192754)