000			02086nam a2200433 i 4500
001			ebr10780707
003			CaPaEBR
007			cr cn|||||||||
008			130520t20142014njua ob 001 0 eng|d
020			_z9780470905395 (hardback)
020			_a9781118720134 (e-book)
040			_aCaPaEBR _beng _erda _epn _cCaPaEBR
035			_a(OCoLC)868967216
050	1	4	_aTK5105.88813 _b.M85 2014eb
082	0	4	_a004.6/2 _223
100	1		_aTari, Zahir.
245	1	0	_aVerification of communication protocols in web services : _bmodel-checking service compositions / _cZahir Tari, Peter Bertok, Anshuman Mukherjee.
264		1	_aHoboken, New Jersey : _bWiley, _c[2014]
264		4	_c�2014
300			_a1 online resource (272 pages) : _billustrations.
336			_atext _2rdacontent
337			_acomputer _2rdamedia
338			_aonline resource _2rdacarrier
490	0		_aWiley series on parallel and distributed computing ; _v83
504			_aIncludes bibliographical references and index.
520			_a"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"-- _cProvided by publisher.
588			_aDescription based on print version record.
590			_aElectronic reproduction. Palo Alto, Calif. : ebrary, 2015. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
650		0	_aWeb services _xTesting.
650		0	_aComputer network protocols.
655		0	_aElectronic books.
700	1		_aMukherjee, Anshuman.
700	1		_aBert�ok, P�eter, _d1952-
776	0	8	_iPrint version: _aTari, Zahir. _tVerification of communication protocols in web services : model-checking service compositions. _dHoboken, New Jersey : Wiley, [2014] _hxii, 256 pages _kWiley series on parallel and distributed computing ; 83 _z9780470905395 _w(DLC)17745081
797	2		_aebrary.
856	4	0	_uhttp://site.ebrary.com/lib/kliuc/Doc?id=10780707 _zAn electronic book accessible through the World Wide Web; click to view
942			_2lcc _cEBK
999			_c240350 _d240350