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

By: Contributor(s): Series: Wiley series on parallel and distributed computing ; 83.Publisher: Hoboken, New Jersey : Wiley, [2014]Copyright date: (copy)2014Description: 1 online resource (1 volume) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
Subject(s): Genre/Form: Additional physical formats: Print version :: Verification of communication protocols in web services.LOC classification:
  • TK5105.88813
Online resources:
Item type: eBooks
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Description based on print version record.

Includes bibliographical references and index.

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu