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

By:

Mukherjee, Anshuman

Contributor(s):

Series: Wiley series on parallel and distributed computing ; 83 | Wiley series on parallel and distributed computing ; 83Publisher: Hoboken, New Jersey : Wiley, 2014Description: xii,256 p,: .ill ; 23 cmContent type:

text

Media type:

unmediated

Carrier type:

volume

ISBN:

9780470905395 (hardback)
0470905395 (hardback)

Subject(s):

Additional physical formats: Online version:: Verification of communication protocols in web servicesSummary: '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.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Call number	Materials specified	Copy number	Status	Date due	Barcode
AM	PERPUSTAKAAN LINGKUNGAN KEDUA	PERPUSTAKAAN LINGKUNGAN KEDUA KOLEKSI AM-P. LINGKUNGAN KEDUA	-	TK5105.88813.M857 3 (Browse shelf(Opens below))		1	Available		00002115855

'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.

There are no comments on this title.

to post a comment.

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

Contact Us

Copyright ©The National University of Malaysia Library