Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification - Phan Cong-vinh - Bücher - IGI Global - 9781609608453 - 31. Oktober 2011
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Phan Cong-vinh

Preis
Fr. 195,99

Bestellware

Lieferdatum: ca. 31. Dez - 8. Jan 2025
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen

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

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 31. Oktober 2011
Ursprünglich erschienen 2012
ISBN13 9781609608453
Verlag IGI Global
Genre Aspects (Academic) > Science / Technology Aspects
Seitenanzahl 446
Maße 216 × 280 × 25 mm   ·   1,32 kg
Redakteur Cong-Vinh, Phan

Alle anzeigen

Weitere Titel von Phan Cong-vinh