Verification of communication protocols in web services [electronic resource] : model-checking service compositions

• Tác giả: Péter Bertók, Anshuman Mukherjee, Zahir Tari
• Ngôn ngữ: eng
• ISBN-13: 978-1118720134
• ISBN-13: 978-1118720233
• Ký hiệu phân loại: 004.62 Interfacing and communications protocols
• Thông tin xuất bản: Hoboken, New Jersey : John Wiley & Sons, 2013.
• Mô tả vật lý: 1 online resource.
• Bộ sưu tập: Công nghệ thông tin
• ID: 155049
• Chủ đề: 1. Computer network protocols; 2. Web services--Testing; 3. COMPUTERS / Computer Engineering

Tóm tắt

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