000746865 000__ 01896cam\a2200409\i\4500 000746865 001__ 746865 000746865 005__ 20210515113039.0 000746865 006__ m\\\\\o\\d\\\\\\\\ 000746865 007__ cr\cn\nnnunnun 000746865 008__ 130520t20142014njua\\\\ob\\\\001\0\eng\d 000746865 020__ $$a9781118720134$$qelectronic book 000746865 035__ $$a(CaPaEBR)ebr10780707 000746865 035__ $$a(OCoLC)868967216 000746865 040__ $$aCaPaEBR$$beng$$erda$$epn$$cCaPaEBR 000746865 05014 $$aTK5105.88813$$b.M85 2014eb 000746865 08204 $$a004.6/2$$223 000746865 1001_ $$aTari, Zahir. 000746865 24510 $$aVerification of communication protocols in web services$$h[electronic resource] :$$bmodel-checking service compositions /$$cZahir Tari, Peter Bertok, Anshuman Mukherjee. 000746865 264_1 $$aHoboken, New Jersey :$$bWiley,$$c[2014] 000746865 264_4 $$c©2014 000746865 300__ $$a1 online resource (272 pages) :$$billustrations. 000746865 336__ $$atext$$2rdacontent 000746865 337__ $$acomputer$$2rdamedia 000746865 338__ $$aonline resource$$2rdacarrier 000746865 4900_ $$aWiley series on parallel and distributed computing ;$$v83 000746865 504__ $$aIncludes bibliographical references and index. 000746865 506__ $$aAccess limited to authorized users. 000746865 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. 000746865 588__ $$aDescription based on print version record. 000746865 650_0 $$aWeb services$$xTesting. 000746865 650_0 $$aComputer network protocols. 000746865 7001_ $$aMukherjee, Anshuman. 000746865 7001_ $$aBertók, Péter,$$d1952- 000746865 77608 $$iPrint version:$$aTari, Zahir.$$tVerification of communication protocols in web services : model-checking service compositions.$$dHoboken, New Jersey : Wiley, [2014]$$z9780470905395$$w(DLC)17745081 000746865 852__ $$bebk 000746865 85640 $$3ProQuest Ebook Central Academic Complete$$uhttps://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10780707$$zOnline Access 000746865 909CO $$ooai:library.usi.edu:746865$$pGLOBAL_SET 000746865 980__ $$aEBOOK 000746865 980__ $$aBIB 000746865 982__ $$aEbook 000746865 983__ $$aOnline