schliessen

Filtern

 

Bibliotheken

Verification of communication protocols in web services : model-checking service compositions / Zahir Tari, Peter Bertok, Anshuman Mukherjee

"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--

PPN (Catalogue-ID): 773280529
Personen: Tari, Zahir
Mukherjee, Anshuman
Bertók, Péter
Format: eBook eBook
Language: English
Published: Hoboken, New Jersey, Wiley, [2014]
Series: Wiley series on parallel and distributed computing (83)
Basisklassifikation: 54.32
Subjects:

Kommunikationsprotokoll / Verifikation / Web Services

Notes: Includes bibliographical references and index
Print version$aVerification of communication protocols in web services$dmodel-checking service compositions$C(DLC)
Physical Description: Online-Ressource (272 pages), illustrations.
ISBN: 978-0-470-90539-5
Sekundärausgabe Online-Ausg.

Similar Items

Vorhandene Hefte/Bände

more (+)

Informationen zur Verfügbarkeit werden geladen

Staff View
LEADER 07051cam a22012732 4500
001 773280529
003 DE-627
005 20190310055935.0
007 cr uuu---uuuuu
008 131203s2014 xx |||||o 00| ||eng c
020 |a 9780470905395  |c hardback  |9 978-0-470-90539-5 
024 7 |a 10.1002/9781118720103  |2 doi 
035 |a (DE-627)773280529 
035 |a (DE-599)GBV773280529 
035 |a (EBR)ebr10780707 
035 |a (EbpS)651076 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XD-US 
050 0 |a TK5105.88813 
082 0 |a 004.6/2  |2 23 
082 0 4 |a COM059000  |q bisacsh 
084 |a COM 013000  |2 BISAC 
084 |a COM 067000  |2 BISAC 
084 |a COM 032000  |2 BISAC 
084 |a COM 014000  |2 BISAC 
084 |a COM 018000  |2 BISAC 
084 |a COM 052000  |2 BISAC 
084 |a COM 037000  |2 BISAC 
084 |a 54.32  |2 bkl 
100 1 |a Tari, Zahir 
245 1 0 |a Verification of communication protocols in web services  |b model-checking service compositions  |c Zahir Tari, Peter Bertok, Anshuman Mukherjee 
264 1 |a Hoboken, New Jersey  |b Wiley  |c [2014] 
300 |a Online-Ressource (272 pages)  |b illustrations 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 0 |a Wiley series on parallel and distributed computing  |v 83 
500 |a Includes bibliographical references and index 
500 |a Print version$aVerification of communication protocols in web services$dmodel-checking service compositions$C(DLC) 
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"-- 
533 |a Online-Ausg. 
689 0 0 |D s  |0 (DE-588)4128252-8  |0 (DE-627)105718696  |0 (DE-576)209600527  |a Kommunikationsprotokoll  |2 gnd 
689 0 1 |D s  |0 (DE-588)4135577-5  |0 (DE-627)104649100  |0 (DE-576)209661933  |a Verifikation  |2 gnd 
689 0 2 |D s  |0 (DE-588)4691234-4  |0 (DE-627)35055126X  |0 (DE-576)215074130  |a Web Services  |2 gnd 
689 0 |5 (DE-627) 
700 1 |a Mukherjee, Anshuman 
700 1 |a Bertók, Péter  |d 1952- 
776 1 |z 9781118720134  |9 978-1-118-72013-4 
776 1 |z 111872013X  |c electronic bk.  |9 1-118-72013-X 
776 1 |z 1118720105  |c electronic bk.  |9 1-118-72010-5 
776 1 |z 1118720237  |c ebook  |9 1-118-72023-7 
776 1 |z 9781118720134  |c : electronic bk.  |9 978-1-118-72013-4 
776 1 |z 9781118720103  |c : electronic bk.  |9 978-1-118-72010-3 
776 1 |z 9781118720233  |c : ebook  |9 978-1-118-72023-3 
776 0 8 |i Print version  |a Mukherjee, Anshuman  |t Verification of communication protocols in web services  |d Hoboken, New Jersey : Wiley, 2013  |w (DLC)2013011613 
856 4 0 |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=651076  |x Verlag  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1002/9781118720103  |x Resolving-System  |3 Volltext 
856 4 0 |u http://site.ebrary.com/lib/alltitles/docDetail.action?docID=10780707  |x Verlag  |3 Volltext 
856 4 0 |u http://onlinelibrary.wiley.com/book/10.1002/9781118720103  |x Verlag  |3 Volltext 
912 |a H-ZDB-35-UBC 
912 |a H-ZDB-4-NLEBK 
912 |a H-ZDB-38-EBR 
912 |a H-ZDB-35-WIC 
912 |a GBV_ILN_21 
912 |a SYSFLAG_1 
912 |a GBV_KXP 
912 |a GBV_ILN_22 
912 |a GBV_ILN_22_i06404 
912 |a GBV_ILN_23 
912 |a GBV_ILN_40 
912 |a GBV_ILN_62 
912 |a GBV_ILN_90 
912 |a GBV_ILN_120 
935 |h GBV  |i hybr 
936 b k |a 54.32  |j Rechnerkommunikation  |0 (DE-627)10640623X 
951 |a BO 
980 |2 21  |1 01  |b 1613846193  |h ebook_2016_wiley_ubcm  |k Freie Nutzung im Campusnetz der Universitaet und der Hochschulen im Lande Bremen  |x 0046  |y zza  |z 02-05-16 
980 |2 22  |1 01  |b 1847923054  |h h64 EBA Wiley  |k Campuslizenz Universität Hamburg. - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |l EBA Freischaltung bis 30.11.2019  |x 0018  |y zi06404  |z 07-02-19 
980 |2 23  |1 01  |b 172865338X  |h olr-wiley1  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots  |x 0830  |y z  |z 07-12-17 
980 |2 40  |1 01  |b 1717785506  |h OLR-EBA-WILEY  |l UBCM 201710  |x 0007  |y xsn  |z 24-10-17 
980 |2 62  |1 01  |b 1455821160  |h ACQ  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.  |l Wiley-E-Books  |x 0028  |y z  |z 07-03-14 
980 |2 90  |1 01  |b 1833926005  |h OLR-ubcm  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.  |x 3090  |y z  |z 19-12-18 
980 |2 120  |1 01  |b 1683861329  |k Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |x 0715  |y z  |z 02-05-17 
980 |2 120  |1 04  |b 1752857887  |e n  |h alma  |x 0715  |y l04  |z 22-02-18 
981 |2 21  |1 01  |r https://onlinelibrary.wiley.com/doi/book/10.1002/9781118720103 
981 |2 22  |1 01  |y Volltextzugang Campus  |r http://dx.doi.org/10.1002/9781118720103 
981 |2 22  |1 01  |y Nur für Angehörige der Universität Hamburg: Volltextzugang von außerhalb des Campus  |r http://emedien.sub.uni-hamburg.de/han/WileyOnlineBooksUKE/dx.doi.org/10.1002/9781118720103 
981 |2 23  |1 01  |y E-books (Wiley)  |r http://dx.doi.org/10.1002/9781118720103 
981 |2 40  |1 01  |y Volltext, Campuszugriff  |r http://dx.doi.org/10.1002/9781118720103 
981 |2 40  |1 01  |y Volltext, Externer Zugriff  |r http://han.sub.uni-goettingen.de/han/wiley-ubcm-eba/dx.doi.org/10.1002/9781118720103 
981 |2 62  |1 01  |r http://onlinelibrary.wiley.com/book/10.1002/9781118720103 
981 |2 90  |1 01  |r http://dx.doi.org/10.1002/9781118720103 
981 |2 120  |1 01  |r http://dx.doi.org/10.1002/9781118720103 
981 |2 120  |1 04  |r http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014727999703501 
983 |2 120  |1 00  |8 99  |a ww 
983 |2 120  |1 04  |8 00  |a ww 
985 |2 22  |1 01  |a h64 ebook 
985 |2 23  |1 01  |a 2017-02100, 2017-02101, 2017-02102, 2017-02103, 2017-02104 
985 |2 62  |1 01  |a ER.03254 
995 |2 21  |1 01  |a ebook_2016_wiley_ubcm 
995 |2 22  |1 01  |a h64 EBA Wiley 
995 |2 23  |1 01  |a olr-wiley1 
995 |2 40  |1 01  |a OLR-EBA-WILEY 
995 |2 62  |1 01  |a ACQ 
995 |2 90  |1 01  |a OLR-ubcm 
995 |2 120  |1 04  |a alma 
998 |2 23  |1 01  |0 2017.12.07 
998 |2 62  |1 01  |a 201403 095cap