Verification of communication protocols in web services : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee. [electronic resource]
Material type: TextSeries: Wiley series on parallel and distributed computing ; 83Publisher: Hoboken, New Jersey : Wiley, [2014]Copyright date: ©2014Description: 1 online resource (272 pages) : illustrationsISBN:- 9781118720134 (e-book)
- 004.6/2 23
- TK5105.88813 .M85 2014
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Ebook | TUS: Midlands, Main Library Athlone Online | eBook (Browse shelf(Opens below)) | Available |
Includes bibliographical references and index.
"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.
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.