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 |