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"--

Detalles Bibliográficos
Otros Autores: Tari, Zahir, 1961, author (author), Bertók, Péter, 1952- (-), Mukherjee, Anshuman
Formato: Libro electrónico
Idioma:Inglés
Publicado: Hoboken, New Jersey : Wiley [2014]
Edición:1st edition
Colección:Wiley series on parallel and distributed computing ; 83
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009627738206719
Descripción
Sumario:"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--
Notas:Description based upon print version of record.
Descripción Física:1 online resource (272 p.)
Also available in print
Bibliografía:Includes bibliographical references and index.
ISBN:9781118720103
9781118720134