Verification of communication protocols in web services: model-checking service compositions
"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Hoboken, New Jersey
Wiley
[2014]
|
| Schriftenreihe: | Wiley series on parallel and distributed computing
83 |
| Schlagworte: | |
| Zusammenfassung: | "Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"-- |
| Beschreibung: | Description based on print version record |
| Beschreibung: | 1 online resource (272 pages) illustrations |
| ISBN: | 9780470905395 9781118720134 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044063846 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170217s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9780470905395 |c Print |9 978-0-470-90539-5 | ||
| 020 | |a 9781118720134 |c ebook |9 978-1-118-72013-4 | ||
| 035 | |a (ZDB-30-PAD)EBC1443830 | ||
| 035 | |a (ZDB-89-EBL)EBL1443830 | ||
| 035 | |a (ZDB-38-EBR)ebr10780707 | ||
| 035 | |a (OCoLC)868967216 | ||
| 035 | |a (OCoLC)844074308 | ||
| 035 | |a (DE-599)BVBBV044063846 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 004.6/2 |2 23 | |
| 100 | 1 | |a Tari, Zahir |e Verfasser |4 aut | |
| 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] | |
| 264 | 4 | |c © 2014 | |
| 300 | |a 1 online resource (272 pages) |b illustrations | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Wiley series on parallel and distributed computing |v 83 | |
| 500 | |a Description based on print version record | ||
| 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"-- | ||
| 650 | 4 | |a Web services |x Testing | |
| 650 | 4 | |a Computer network protocols | |
| 650 | 0 | 7 | |a Web Services |0 (DE-588)4691234-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Web Services |0 (DE-588)4691234-4 |D s |
| 689 | 0 | 1 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |D s |
| 689 | 0 | 2 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Mukherjee, Anshuman |e Sonstige |4 oth | |
| 700 | 1 | |a Bertók, Péter |d 1952- |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Tari, Zahir |t Verification of communication protocols in web services : model-checking service compositions |
| 912 | |a ZDB-30-PAD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029470691 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804177091988553728 |
|---|---|
| any_adam_object | |
| author | Tari, Zahir |
| author_facet | Tari, Zahir |
| author_role | aut |
| author_sort | Tari, Zahir |
| author_variant | z t zt |
| building | Verbundindex |
| bvnumber | BV044063846 |
| collection | ZDB-30-PAD |
| ctrlnum | (ZDB-30-PAD)EBC1443830 (ZDB-89-EBL)EBL1443830 (ZDB-38-EBR)ebr10780707 (OCoLC)868967216 (OCoLC)844074308 (DE-599)BVBBV044063846 |
| dewey-full | 004.6/2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.6/2 |
| dewey-search | 004.6/2 |
| dewey-sort | 14.6 12 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02208nmm a2200529zcb4500</leader><controlfield tag="001">BV044063846</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170217s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780470905395</subfield><subfield code="c">Print</subfield><subfield code="9">978-0-470-90539-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118720134</subfield><subfield code="c">ebook</subfield><subfield code="9">978-1-118-72013-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-30-PAD)EBC1443830</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-89-EBL)EBL1443830</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-38-EBR)ebr10780707</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)868967216</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844074308</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044063846</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.6/2</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Tari, Zahir</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification of communication protocols in web services</subfield><subfield code="b">model-checking service compositions</subfield><subfield code="c">Zahir Tari, Peter Bertok, Anshuman Mukherjee</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hoboken, New Jersey</subfield><subfield code="b">Wiley</subfield><subfield code="c">[2014]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (272 pages)</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Wiley series on parallel and distributed computing</subfield><subfield code="v">83</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based on print version record</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Web services</subfield><subfield code="x">Testing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Web Services</subfield><subfield code="0">(DE-588)4691234-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Web Services</subfield><subfield code="0">(DE-588)4691234-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mukherjee, Anshuman</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bertók, Péter</subfield><subfield code="d">1952-</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">Tari, Zahir</subfield><subfield code="t">Verification of communication protocols in web services : model-checking service compositions</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-PAD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029470691</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV044063846 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:42:34Z |
| institution | BVB |
| isbn | 9780470905395 9781118720134 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029470691 |
| oclc_num | 868967216 844074308 |
| open_access_boolean | |
| physical | 1 online resource (272 pages) illustrations |
| psigel | ZDB-30-PAD |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Wiley |
| record_format | marc |
| series2 | Wiley series on parallel and distributed computing |
| spelling | Tari, Zahir Verfasser aut Verification of communication protocols in web services model-checking service compositions Zahir Tari, Peter Bertok, Anshuman Mukherjee Hoboken, New Jersey Wiley [2014] © 2014 1 online resource (272 pages) illustrations txt rdacontent c rdamedia cr rdacarrier Wiley series on parallel and distributed computing 83 Description based on print version record "Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"-- Web services Testing Computer network protocols Web Services (DE-588)4691234-4 gnd rswk-swf Kommunikationsprotokoll (DE-588)4128252-8 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Web Services (DE-588)4691234-4 s Kommunikationsprotokoll (DE-588)4128252-8 s Verifikation (DE-588)4135577-5 s 1\p DE-604 Mukherjee, Anshuman Sonstige oth Bertók, Péter 1952- Sonstige oth Erscheint auch als Druck-Ausgabe Tari, Zahir Verification of communication protocols in web services : model-checking service compositions 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Tari, Zahir Verification of communication protocols in web services model-checking service compositions Web services Testing Computer network protocols Web Services (DE-588)4691234-4 gnd Kommunikationsprotokoll (DE-588)4128252-8 gnd Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4691234-4 (DE-588)4128252-8 (DE-588)4135577-5 |
| title | Verification of communication protocols in web services model-checking service compositions |
| title_auth | Verification of communication protocols in web services model-checking service compositions |
| title_exact_search | Verification of communication protocols in web services model-checking service compositions |
| title_full | Verification of communication protocols in web services model-checking service compositions Zahir Tari, Peter Bertok, Anshuman Mukherjee |
| title_fullStr | Verification of communication protocols in web services model-checking service compositions Zahir Tari, Peter Bertok, Anshuman Mukherjee |
| title_full_unstemmed | Verification of communication protocols in web services model-checking service compositions Zahir Tari, Peter Bertok, Anshuman Mukherjee |
| title_short | Verification of communication protocols in web services |
| title_sort | verification of communication protocols in web services model checking service compositions |
| title_sub | model-checking service compositions |
| topic | Web services Testing Computer network protocols Web Services (DE-588)4691234-4 gnd Kommunikationsprotokoll (DE-588)4128252-8 gnd Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Web services Testing Computer network protocols Web Services Kommunikationsprotokoll Verifikation |
| work_keys_str_mv | AT tarizahir verificationofcommunicationprotocolsinwebservicesmodelcheckingservicecompositions AT mukherjeeanshuman verificationofcommunicationprotocolsinwebservicesmodelcheckingservicecompositions AT bertokpeter verificationofcommunicationprotocolsinwebservicesmodelcheckingservicecompositions |