Tari, Zahir.
Verification of communication protocols in web services : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee. - 1 online resource (272 pages) : illustrations. - Wiley series on parallel and distributed computing ; 83 .
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"--
9781118720134 (e-book)
Web services--Testing.
Computer network protocols.
Electronic books.
TK5105.88813 / .M85 2014eb
004.6/2
Verification of communication protocols in web services : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee. - 1 online resource (272 pages) : illustrations. - Wiley series on parallel and distributed computing ; 83 .
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"--
9781118720134 (e-book)
Web services--Testing.
Computer network protocols.
Electronic books.
TK5105.88813 / .M85 2014eb
004.6/2