Central Library

Your search returned 2 results. Subscribe to this search

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

by Tari, Zahir [author.] | Bert�ok, P�eter, 1952- | Mukherjee, Anshuman | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.].

Material type: book Book; Format: available online remote Publisher: Hoboken, New Jersey : Wiley, [2014]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013]Online access: Abstract with links to resource Availability: No items available

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

by Tari, Zahir [author.] | Bert�ok, P�eter, 1952- | Mukherjee, Anshuman | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.].

Material type: book Book; Format: available online remote Publisher: Hoboken, New Jersey : Wiley, [2014]Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2013]Online access: Abstract with links to resource Availability: No items available