Verification of Communication Protocols in Web Services: Model-Checking Service Compositions (Hardcover)

Kazi Sakib, Zahir Tari, Peter Bertok

  • 出版商: Wiley
  • 出版日期: 2013-12-04
  • 定價: $3,600
  • 售價: 8.0$2,880
  • 語言: 英文
  • 頁數: 272
  • 裝訂: Hardcover
  • ISBN: 0470905395
  • ISBN-13: 9780470905395
  • 相關分類: Wireless-networks
  • 立即出貨 (庫存=1)

買這商品的人也買了...

相關主題

商品描述

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.

商品描述(中文翻譯)

在不久的將來,無線感測網絡將成為我們日常生活中不可或缺的一部分。為了解決不同的感測網絡相關問題,研究人員一直在做出各種努力並提出創新的想法。在過去幾年中,我們見證了對於各種感測節點組織問題的研究工作急劇增長。本書的目標是匯集自組織無線感測網絡領域的最新進展,並為讀者提供有關感測網絡的基本信息。