Verification of communication protocols in web services model-checking service compositions

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

Bibliographic Details
Other Authors: Tari, Zahir, 1961, author (author), Bertók, Péter, 1952- (-), Mukherjee, Anshuman
Format: eBook
Language:Inglés
Published: Hoboken, New Jersey : Wiley [2014]
Edition:1st edition
Series:Wiley series on parallel and distributed computing ; 83
Subjects:
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009627738206719
Description
Summary:"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--
Item Description:Description based upon print version of record.
Physical Description:1 online resource (272 p.)
Also available in print
Bibliography:Includes bibliographical references and index.
ISBN:9781118720103
9781118720134