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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Mukherjee, Anshuman
Άλλοι συγγραφείς: Tari, Zahir, Bertók, Péter, 1952-
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Hoboken, New Jersey : John Wiley & Sons, 2013.
Σειρά:Wiley series on parallel and distributed computing.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Περιγραφή
Περίληψη:"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--
Φυσική περιγραφή:1 online resource.
Βιβλιογραφία:Includes bibliographical references and index.
ISBN:9781118720134 (Adobe PDF)
111872013X (Adobe PDF)
9781118720233 (MobiPocket)
1118720237 (MobiPocket)
9781118720103
1118720105
DOI:10.1002/9781118720103