| 000 | 01268cam a22003258i 4500 | ||
|---|---|---|---|
| 001 | u153694 | ||
| 003 | SIRSI | ||
| 005 | 20240619145446.0 | ||
| 008 | 130520s2013 nju 000 0 eng | ||
| 020 | _a9780470905395 | ||
| 020 | _a0470905395 | ||
| 050 | 0 | 0 |
_aTK5105.88813 _b.T37 2013 |
| 100 | 1 |
_aTari, Zahir. , _eauthor _981124 |
|
| 245 | 1 | 0 |
_aVerification of communication protocols in web services : _bmodel-checking service compositions / _cZahir Tari, Peter Bertok,Anshuman Mukherjee. |
| 300 |
_axii, 256 pages : _billustrations ; _c25 cm. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 490 | 0 |
_aWiley series on parallel and distributed computing ; _v83 |
|
| 596 | _a3 | ||
| 650 | 0 |
_aWeb services _xTesting. _921853 |
|
| 650 | 0 |
_aComputer network protocols. _93133 |
|
| 650 | 7 |
_aCOMPUTERS / Computer Engineering. _969444 |
|
| 700 | 1 |
_aBertok, Peter. _981125 |
|
| 700 | 1 |
_aMukherjee, Anshuman. _981126 |
|
| 907 |
_a.b10263184 _b07-11-22 _c12-09-18 |
||
| 998 |
_am _b06-11-22 _cm _da _e- _feng _gnju _h0 |
||
| 999 |
_c17695 _d17695 |
||