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:
| Beteilige Person: | |
|---|---|
| Weitere beteiligte Personen: | , |
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Hoboken, New Jersey
John Wiley & Sons
2013
|
| Schriftenreihe: | Wiley series on parallel and distributed computing
83 |
| Schlagwörter: | |
| Links: | https://learning.oreilly.com/library/view/-/9780470905395/?ar |
| 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: | Includes bibliographical references and index. - Print version record and CIP data provided by publisher |
| Umfang: | 1 Online-Ressource |
| ISBN: | 9781118720134 111872013X 9781118720233 1118720237 9781118720103 1118720105 9780470905395 |
Internformat
MARC
| LEADER | 00000cam a22000002 4500 | ||
|---|---|---|---|
| 001 | ZDB-30-ORH-047490934 | ||
| 003 | DE-627-1 | ||
| 005 | 20240228115235.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 191023s2013 xx |||||o 00| ||eng c | ||
| 020 | |a 9781118720134 |c Adobe PDF |9 978-1-118-72013-4 | ||
| 020 | |a 111872013X |c Adobe PDF |9 1-118-72013-X | ||
| 020 | |a 9781118720233 |c MobiPocket |9 978-1-118-72023-3 | ||
| 020 | |a 1118720237 |c MobiPocket |9 1-118-72023-7 | ||
| 020 | |a 9781118720103 |9 978-1-118-72010-3 | ||
| 020 | |a 1118720105 |9 1-118-72010-5 | ||
| 020 | |a 9780470905395 |9 978-0-470-90539-5 | ||
| 035 | |a (DE-627-1)047490934 | ||
| 035 | |a (DE-599)KEP047490934 | ||
| 035 | |a (ORHE)9780470905395 | ||
| 035 | |a (DE-627-1)047490934 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 072 | 7 | |a COM |2 bisacsh | |
| 072 | 7 | |a COM |2 bisacsh | |
| 072 | 7 | |a COM |2 bisacsh | |
| 072 | 7 | |a COM |2 bisacsh | |
| 072 | 7 | |a COM |2 bisacsh | |
| 072 | 7 | |a COM |2 bisacsh | |
| 072 | 7 | |a COM |2 bisacsh | |
| 082 | 0 | |a 004.6/2 |2 23 | |
| 100 | 1 | |a Mukherjee, Anshuman |e VerfasserIn |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, RMIT University |
| 264 | 1 | |a Hoboken, New Jersey |b John Wiley & Sons |c 2013 | |
| 300 | |a 1 Online-Ressource | ||
| 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. - Print version record and CIP data provided by publisher | ||
| 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 | 0 | |a Web services |x Testing | |
| 650 | 0 | |a Computer network protocols | |
| 650 | 4 | |a Protocoles de réseaux d'ordinateurs | |
| 650 | 4 | |a COMPUTERS ; Computer Engineering | |
| 650 | 4 | |a Computer network protocols | |
| 700 | 1 | |a Tari, Zahir |e MitwirkendeR |4 ctb | |
| 700 | 1 | |a Bertók, Péter |d 1952- |e MitwirkendeR |4 ctb | |
| 776 | 1 | |z 9780470905395 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780470905395 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-30-ORH |q TUM_PDA_ORH |u https://learning.oreilly.com/library/view/-/9780470905395/?ar |m X:ORHE |x Aggregator |z lizenzpflichtig |3 Volltext |
| 912 | |a ZDB-30-ORH | ||
| 912 | |a ZDB-30-ORH | ||
| 951 | |a BO | ||
| 912 | |a ZDB-30-ORH | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-30-ORH-047490934 |
|---|---|
| _version_ | 1821494895286681600 |
| adam_text | |
| any_adam_object | |
| author | Mukherjee, Anshuman |
| author2 | Tari, Zahir Bertók, Péter 1952- |
| author2_role | ctb ctb |
| author2_variant | z t zt p b pb |
| author_facet | Mukherjee, Anshuman Tari, Zahir Bertók, Péter 1952- |
| author_role | aut |
| author_sort | Mukherjee, Anshuman |
| author_variant | a m am |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-30-ORH |
| ctrlnum | (DE-627-1)047490934 (DE-599)KEP047490934 (ORHE)9780470905395 |
| 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>02402cam a22006132 4500</leader><controlfield tag="001">ZDB-30-ORH-047490934</controlfield><controlfield tag="003">DE-627-1</controlfield><controlfield tag="005">20240228115235.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">191023s2013 xx |||||o 00| ||eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118720134</subfield><subfield code="c">Adobe PDF</subfield><subfield code="9">978-1-118-72013-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">111872013X</subfield><subfield code="c">Adobe PDF</subfield><subfield code="9">1-118-72013-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118720233</subfield><subfield code="c">MobiPocket</subfield><subfield code="9">978-1-118-72023-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118720237</subfield><subfield code="c">MobiPocket</subfield><subfield code="9">1-118-72023-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781118720103</subfield><subfield code="9">978-1-118-72010-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1118720105</subfield><subfield code="9">1-118-72010-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780470905395</subfield><subfield code="9">978-0-470-90539-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)047490934</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KEP047490934</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ORHE)9780470905395</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627-1)047490934</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="2">bisacsh</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">Mukherjee, Anshuman</subfield><subfield code="e">VerfasserIn</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, RMIT University</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hoboken, New Jersey</subfield><subfield code="b">John Wiley & Sons</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><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">Includes bibliographical references and index. - Print version record and CIP data provided by publisher</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="0"><subfield code="a">Web services</subfield><subfield code="x">Testing</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer network protocols</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Protocoles de réseaux d'ordinateurs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">COMPUTERS ; Computer Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tari, Zahir</subfield><subfield code="e">MitwirkendeR</subfield><subfield code="4">ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bertók, Péter</subfield><subfield code="d">1952-</subfield><subfield code="e">MitwirkendeR</subfield><subfield code="4">ctb</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9780470905395</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780470905395</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-30-ORH</subfield><subfield code="q">TUM_PDA_ORH</subfield><subfield code="u">https://learning.oreilly.com/library/view/-/9780470905395/?ar</subfield><subfield code="m">X:ORHE</subfield><subfield code="x">Aggregator</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-ORH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-30-ORH-047490934 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-17T11:21:39Z |
| institution | BVB |
| isbn | 9781118720134 111872013X 9781118720233 1118720237 9781118720103 1118720105 9780470905395 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource |
| psigel | ZDB-30-ORH TUM_PDA_ORH ZDB-30-ORH |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | John Wiley & Sons |
| record_format | marc |
| series2 | Wiley series on parallel and distributed computing |
| spelling | Mukherjee, Anshuman VerfasserIn aut Verification of communication protocols in web services model-checking service compositions Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University Hoboken, New Jersey John Wiley & Sons 2013 1 Online-Ressource Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Wiley series on parallel and distributed computing 83 Includes bibliographical references and index. - Print version record and CIP data provided by publisher "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 Protocoles de réseaux d'ordinateurs COMPUTERS ; Computer Engineering Tari, Zahir MitwirkendeR ctb Bertók, Péter 1952- MitwirkendeR ctb 9780470905395 Erscheint auch als Druck-Ausgabe 9780470905395 |
| spellingShingle | Mukherjee, Anshuman Verification of communication protocols in web services model-checking service compositions Web services Testing Computer network protocols Protocoles de réseaux d'ordinateurs COMPUTERS ; Computer Engineering |
| 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, RMIT University |
| title_fullStr | Verification of communication protocols in web services model-checking service compositions Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University |
| title_full_unstemmed | Verification of communication protocols in web services model-checking service compositions Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University |
| 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 Protocoles de réseaux d'ordinateurs COMPUTERS ; Computer Engineering |
| topic_facet | Web services Testing Computer network protocols Protocoles de réseaux d'ordinateurs COMPUTERS ; Computer Engineering |
| work_keys_str_mv | AT mukherjeeanshuman verificationofcommunicationprotocolsinwebservicesmodelcheckingservicecompositions AT tarizahir verificationofcommunicationprotocolsinwebservicesmodelcheckingservicecompositions AT bertokpeter verificationofcommunicationprotocolsinwebservicesmodelcheckingservicecompositions |