Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
Language: English
Published by IGI Global / Information Science Reference, 701 E. Chocolate Avenue Hershey, PA 17033-1240 United States, 2011
- First Edition
- Hardcover
- Used
Seller: Librairie à la page, Longueuil, QC, CanadaLibrairie à la page
AbeBooks seller since June 3, 2026
Condition: Used - Fine
US$ 72.43
Quantity: 1 available
Add to basketItem description from seller
CONDITION: IMPECCABLE. The book is in excellent condition, very clean and carefully preserved. Title: Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification Author / Editor: Phan Cong-Vinh ISBN: 9781609608453 Year: 2012 Publisher: Information Science Reference, an imprint of IGI Global Description: This specialized academic work presents the theoretical foundations and practical applications of computer systems capable of adapting and managing their operation with a high degree of autonomy. It brings together scholarly contributions addressing the design, modeling, specification, and verification of complex systems. Particular attention is given to self-organization mechanisms, dynamic adaptation, distributed management, and methods for assessing the reliability and behavior of these architectures. The book is primarily intended for researchers, academics, advanced students, and professionals working in distributed and intelligent computing systems.…
Seller Inventory # ABE-1788130335681
- Title
- Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
- Author
- Phan Cong-Vinh
- Publisher
- IGI Global / Information Science Reference, 701 E. Chocolate Avenue Hershey, PA 17033-1240 United States
- Publication year
- 2011
- Condition
- Fine
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 1609608453
- ISBN 13
- 9781609608453
- Edition
- 1st Edition
- Item weight
- 1,293 grams
- Dimensions
- 222.25 millimeters width by 285.75 millimeters height by 31.75 millimeters depth
"Synopsis" may belong to another edition of this title.
About the Author
Phan Cong-Vinh received a PhD in computer science from London South Bank University (LSBU) in UK, a BS in mathematics and an MS in computer science from Vietnam National University (VNU) in Ho Chi Minh City and a BA in English from Hanoi University of Foreign Languages Studies in Vietnam. He finished his PhD dissertation with the title of Formal Aspects of Dynamic Reconfigurability in Reconfigurable Computing Systems supervised by Prof. Jonathan P. Bowen at LSBU where he was affiliated with Centre for Applied Formal Methods (CAFM), Institute for Computing Research (ICR). From 1983 to 2000, he was a lecturer in mathematics and computer science at VNU, Posts and Telecommunications Institute of Technology (PTIT) and several other universities in Vietnam before he joined research with Dr. Tomasz Janowski at International Institute for Software Technology (IIST) in Macao SAR, China, as a fellow in 2000. From 2001 to 2010 he did research together with Prof. Jonathan P. Bowen as a research scholar and then collaborative research scientist at CAFM. From January 2011 to May 2011 he worked for FPT - Greenwich collaborative program at FPT University (FU) in Vietnam as a visiting lecturer. From June 2011 to present he has become a member of NTT University (NTTU) to take on the responsibilities of an IT Department's Deputy Dean. Regarding academic publications, he has been author or co-author of many refereed contributions published in prestigious journals, conference proceedings or edited books. He is the author of a book on computing science titled Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing (2009) and editor of two titles besides the present work, Autonomic Networking-On-Chip: Bio-Inspired Specification, Development and Verification (CRC Press) and Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems (Springer), to be published in 2011 and 2012, respectively. He is also an IEEE member. His research interests center on all aspects of formal methods, autonomic computing and networking, reconfigurable computing, ubiquitous computing and applied categorical structures in computer science.
"About the title" may belong to another edition of this title.
Librairie à la page
Longueuil, QC, Canada
AbeBooks seller since June 3, 2026
Shipping rates from Canada to U.S.A.
| Item | 6 to 10 business days | 5 to 7 business days |
|---|---|---|
| First item | US$ 19.95 | US$ 24.95 |
Payment methods
Store description
Passionné de livres depuis mon enfance, j'ai toujours été fasciné par le savoir, les histoires et les découvertes qu'ils renferment. Cette passion m'accompagne depuis de nombreuses années et m'a naturellement conduit à la vente de livres usagés. Je prends plaisir à rechercher, sélectionner et offrir des ouvrages de qualité à des lecteurs de tous horizons. J'éprouve une satisfaction particulière à trouver des livres rares, épuisés ou difficiles à dénicher, puis à les mettre entre les mains de personnes qui les recherchent depuis longtemps. Chaque livre est inspecté avec soin et décrit le plus fidèlement possible afin que l'acheteur sache exactement ce qu'il reçoit. Mon objectif est d'offrir un service honnête, courtois et professionnel, tout en contribuant à donner une seconde vie à des ouvrages qui méritent d'être lus, conservés et appréciés. Rien ne me fait plus plaisir que de savoir qu'un livre a trouvé son nouveau propriétaire et qu'il continuera son parcours auprès d'un lecteur passionné. Que vous soyez collectionneur, étudiant, chercheur ou simple amateur de lecture, je vous souhaite la bienvenue dans ma librairie et vous remercie de votre confiance. Au plaisir de vous aider à trouver votre prochaine découverte littéraire.…
Specialty
livre de science, académiqueSeller's business information
Librairie à la page
QC, Canada