Verification of communication protocols in web services : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee.

"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--

Saved in:
Bibliographic Details
Online Access: Full Text (via ProQuest)
Main Author: Tari, Zahir, 1961-
Other Authors: Bertók, Péter, 1952-, Mukherjee, Anshuman
Format: eBook
Language:English
Published: Hoboken, N.J. : Wiley, 2014.
Series:Wiley series on parallel and distributed computing.
Subjects:

Internet

Full Text (via ProQuest)

Online

Holdings details from Online
Call Number: TK5105.88813 .M85 2014
TK5105.88813 .M85 2014 Available