Verification Of Communication Protocols In Web Services: Model-Checking Service Compositions

系列名：Parallel and Distributed Computing
ISBN13：9780470905395
替代書名：Topology Management in Sensor Networks
出版社：John Wiley & Sons Inc
作者：Tari
裝訂／頁數：精裝／272頁
規格：24.1cm*15.9cm*1.9cm (高/寬/厚)
出版日：2013/10/22
關鍵字： Verification Of Communication Protocols In Web Services: Model-Checking Service Compositions、 Verification、 Of、 Communication、 Protocols、 In、 Web、 Services、 Model、 Checking、 Service、 Compositions、 Topology、 Management、 in、 Sensor、 Networks、 John Wiley & Sons Inc、 Tari、外文書、自然科普、電腦與資訊、 Applied physics、

杜威圖書分類： Applied physics

定價：NT$ 6523 元

優惠價：90 折 5871 元

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

相關商品

商品簡介

作者簡介

商品簡介

In the near future, wireless sensor networks will become an integral part of our day-to-day life. To solve different sensor networking related issues, researchers have been putting various efforts and coming up with innovative ideas. Within the last few years, we have seen a steep growth of research works particularly on various sensor node organization issues. The objective of this book is to gather recent advancements in the fields of self-organizing wireless sensor networks as well as to provide the readers with the essential information about sensor networking.

作者簡介

ZAHIR TARI, PhD, is Professor in Distributed Systems at the Royal Melbourne Institute of Technology (RMIT University), and head of the Distributed Systems and Networking group at the School of Computer Science and IT. He is the author of two books, editor of over four, and has been published in numerous prestigious journals and conferences.

PETER BERTOK researches and lectures on networked and distributed systems at RMIT University. He has over 100 publications for conferences and journals and has written numerous book chapters. He is vice chair of the IFIP Working Group on Co-operation Infrastructure for Virtual Enterprises and Electronic Business, and is a member of the IEEE and the ACM.

Anshuman Mukherjee teaches at the Institute of Information Technology, University of Dhaka in Bangladesh. He has published multiple works on sensor networking in addition to authoring one book on the subject.