000 02020nam a22004098i 4500
005 20250918233810.0
008 140403s2013 njua i 000 0 eng
020 _a9780470905395 (hardback)
_cRM414.58
020 _a0470905395 (hardback)
039 9 _a201406041230
_bbaiti
_c201406041221
_dbaiti
_c201405231118
_dhamudah
_y04-03-2014
_zhamudah
040 _aDLC
_beng
_erda
_cDLC
_dBTCTA
_dOCLCO
_dBDX
_dYDXCP
_dCDX
_dUKM
090 _aTK5105.88813.M857 3
090 _aTK5105.88813
_b.M857 3
100 1 _aMukherjee, Anshuman.
245 1 0 _aVerification of communication protocols in web services :
_bmodel-checking service compositions /
_cAnshuman Mukherjee, Zahir Tari, Peter Bertok.
264 1 _aHoboken, New Jersey :
_bWiley,
_c2014
300 _axii,256 p,:
_b.ill ;
_c23 cm
336 _atext
_2rdacontent
337 _aunmediated
_2rdamedia
338 _avolume
_2rdacarrier
490 0 _aWiley series on parallel and distributed computing ;
_v83
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.
650 0 _aWeb services
_xTesting.
650 0 _aComputer network protocols.
700 1 _aTari, Zahir.
700 1 _aBertok, Peter,
_d1952-
776 0 8 _iOnline version:
_aMukherjee, Anshuman.
_tVerification of communication protocols in web services
_dHoboken, New Jersey : Wiley, 2013
_z9781118720134
_w(DLC) 2013020437
830 0 _aWiley series on parallel and distributed computing ;
_v83
907 _a.b15865915
_b2019-11-12
_c2019-11-12
942 _c01
_n0
_kTK5105.88813.M857 3
914 _avtls003555534
990 _abety
991 _aFakulti Tekonologi dan Sains Maklumat
998 _al
_b2014-03-04
_cm
_da
_feng
_gnju
_y0
_z.b15865915
999 _c566410
_d566410