Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification - Phan Cong-vinh - Kirjat - IGI Global - 9781609608453 - maanantai 31. lokakuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Phan Cong-vinh

Hinta
Íkr 30.402,90

Tilattu etävarastosta

Arvioitu toimitus pe - ti 11. - 22. heinä
Lisää iMusic-toivelistallesi
Eller

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä maanantai 31. lokakuuta 2011
Alunperin julkaistu 2012
ISBN13 9781609608453
Tuottaja IGI Global
Genre Aspects (Academic) > Science / Technology Aspects
Sivujen määrä 446
Mitta 216 × 280 × 25 mm   ·   1,32 kg
Kieli English  
Toimittaja Cong-Vinh, Phan

Näytä kaikki

Lisää tuotteita Phan Cong-vinh