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

• Tác giả: P�eter Bert�ok, Anshuman Mukherjee, Zahir Tari
• Ngôn ngữ: eng
• ISBN-13: 978-1118720103
• Ký hiệu phân loại: 004.62 Interfacing and communications protocols
• Thông tin xuất bản: Hoboken, New Jersey : Wiley, 2014
• Mô tả vật lý: 1 PDF (xii, 256 pages) : , illustrations (some color).
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 314686
• Chủ đề: 1. Computer network protocols; 2. Web services--Testing

Includes bibliographical references and index.

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.