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

• Κύριος συγγραφέας: Mukherjee, Anshuman
• Άλλοι συγγραφείς: Tari, Zahir, Bertók, Péter, 1952-
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Hoboken, New Jersey : John Wiley & Sons, 2013.
• Σειρά: Wiley series on parallel and distributed computing.
• Θέματα: Web services > Testing.; Computer network protocols.; COMPUTERS / Computer Engineering.; Electronic books.

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