Verification of communication protocols in web services : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee.

By: Contributor(s): Material type: TextTextSeries: Wiley series on parallel and distributed computing ; 83Publisher: Hoboken, New Jersey : Wiley, [2014]Copyright date: ©2014Description: 1 online resource (272 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9781118720134 (e-book)
Subject(s): Genre/Form: Additional physical formats: Print version:: Verification of communication protocols in web services : model-checking service compositions.DDC classification:
  • 004.6/2 23
LOC classification:
  • TK5105.88813 .M85 2014eb
Online resources: Summary: "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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

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. Palo Alto, Calif. : ebrary, 2015. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

There are no comments on this title.

to post a comment.