gogo
Amazon cover image
Image from Amazon.com

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

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) : illustrationsISBN:
  • 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 2014
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.
Holdings
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.

Powered by Koha