Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Advances in object-oriented data modeling / edited by Michael P. Papazoglou, Stefano Spaccapietra, Zahir Tari.

by Papazoglou, M, 1953- | Spaccapietra, S | Tari, Zahir | IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].

Material type: book Book; Format: available online remote Publisher: Cambridge, Massachusetts : MIT Press, c2000Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2000]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