Verfügbarkeit: Verification of communication protocols in web services

Verification of communication protocols in web services: model-checking service compositions

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Mukherjee, Anshuman (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Hoboken, New Jersey John Wiley & Sons 2013
Schriftenreihe:	Wiley series on parallel and distributed computing
Schlagworte:	COMPUTERS / Computer Engineering Web services / Testing Computer network protocols Verifikation Web Services Kommunikationsprotokoll Electronic books
Online-Zugang:	FRO01 UBG01 FHI01 FHN01 URL des Erstveröffentlichers
Beschreibung:	"Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"-- Includes bibliographical references and index
Beschreibung:	1 Online-Ressource
ISBN:	9781118720134 111872013X 9781118720233 1118720237 9781118720103 1118720105 0470905395

Internformat

MARC


LEADER	00000nmm a2200000zc 4500
001	BV043395925
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	160222s2013 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
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 0470905395 \|9 0-470-90539-5
024	7		\|a 10.1002/9781118720103 \|2 doi
035			\|a (ZDB-35-WIC)ocn844074308
035			\|a (OCoLC)844074308
035			\|a (DE-599)BVBBV043395925
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-861 \|a DE-573 \|a DE-92
082	0		\|a 004.6/2 \|2 23
084			\|a ST 206 \|0 (DE-625)143614: \|2 rvk
100	1		\|a Mukherjee, Anshuman \|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, RMIT University
264		1	\|a Hoboken, New Jersey \|b John Wiley & Sons \|c 2013
300			\|a 1 Online-Ressource
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
500			\|a "Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--
500			\|a Includes bibliographical references and index
650		7	\|a COMPUTERS / Computer Engineering \|2 bisacsh
650		4	\|a Web services / Testing
650		4	\|a Computer network protocols
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
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
653			\|a Electronic books
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 Tari, Zahir \|e Sonstige \|4 oth
700	1		\|a Bertók, Péter \|e Sonstige \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Hardcover \|z 978-0-470-90539-5
856	4	0	\|u https://onlinelibrary.wiley.com/doi/book/10.1002/9781118720103 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-35-WIC \|a ZDB-35-WEL
940	1		\|q UBG_PDA_WIC
999			\|a oai:aleph.bib-bvb.de:BVB01-028814509
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u https://onlinelibrary.wiley.com/doi/book/10.1002/9781118720103 \|l FRO01 \|p ZDB-35-WIC \|q FRO_PDA_WIC \|x Verlag \|3 Volltext
966	e		\|u https://onlinelibrary.wiley.com/doi/book/10.1002/9781118720103 \|l UBG01 \|p ZDB-35-WIC \|q UBG_PDA_WIC \|x Verlag \|3 Volltext
966	e		\|u https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7748315 \|l FHI01 \|p ZDB-35-WEL \|x Aggregator \|3 Volltext
966	e		\|u https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7748315 \|l FHN01 \|p ZDB-35-WEL \|x Aggregator \|3 Volltext

Datensatz im Suchindex

_version_	1804175976230289408
any_adam_object
author	Mukherjee, Anshuman
author_facet	Mukherjee, Anshuman
author_role	aut
author_sort	Mukherjee, Anshuman
author_variant	a m am
building	Verbundindex
bvnumber	BV043395925
classification_rvk	ST 206
collection	ZDB-35-WIC ZDB-35-WEL
ctrlnum	(ZDB-35-WIC)ocn844074308 (OCoLC)844074308 (DE-599)BVBBV043395925
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>03124nmm a2200673zc 4500</leader><controlfield tag="001">BV043395925</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">160222s2013 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</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">0470905395</subfield><subfield code="9">0-470-90539-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1002/9781118720103</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-35-WIC)ocn844074308</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844074308</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043395925</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-861</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.6/2</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 206</subfield><subfield code="0">(DE-625)143614:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mukherjee, Anshuman</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, 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="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></datafield><datafield tag="500" 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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Engineering</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Web services / 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">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="653" ind1=" " ind2=" "><subfield code="a">Electronic books</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">Tari, Zahir</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="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, Hardcover</subfield><subfield code="z">978-0-470-90539-5</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118720103</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-35-WIC</subfield><subfield code="a">ZDB-35-WEL</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBG_PDA_WIC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028814509</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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118720103</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-35-WIC</subfield><subfield code="q">FRO_PDA_WIC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118720103</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-35-WIC</subfield><subfield code="q">UBG_PDA_WIC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7748315</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-35-WEL</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7748315</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-35-WEL</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV043395925
illustrated	Not Illustrated
indexdate	2024-07-10T07:24:50Z
institution	BVB
isbn	9781118720134 111872013X 9781118720233 1118720237 9781118720103 1118720105 0470905395
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028814509
oclc_num	844074308
open_access_boolean
owner	DE-861 DE-573 DE-92
owner_facet	DE-861 DE-573 DE-92
physical	1 Online-Ressource
psigel	ZDB-35-WIC ZDB-35-WEL UBG_PDA_WIC ZDB-35-WIC FRO_PDA_WIC ZDB-35-WIC UBG_PDA_WIC
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	John Wiley & Sons
record_format	marc
series2	Wiley series on parallel and distributed computing
spelling	Mukherjee, Anshuman Verfasser 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 txt rdacontent c rdamedia cr rdacarrier Wiley series on parallel and distributed computing "Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"-- Includes bibliographical references and index COMPUTERS / Computer Engineering bisacsh Web services / Testing Computer network protocols Verifikation (DE-588)4135577-5 gnd rswk-swf Web Services (DE-588)4691234-4 gnd rswk-swf Kommunikationsprotokoll (DE-588)4128252-8 gnd rswk-swf Electronic books Web Services (DE-588)4691234-4 s Kommunikationsprotokoll (DE-588)4128252-8 s Verifikation (DE-588)4135577-5 s 1\p DE-604 Tari, Zahir Sonstige oth Bertók, Péter Sonstige oth Erscheint auch als Druck-Ausgabe, Hardcover 978-0-470-90539-5 https://onlinelibrary.wiley.com/doi/book/10.1002/9781118720103 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Mukherjee, Anshuman Verification of communication protocols in web services model-checking service compositions COMPUTERS / Computer Engineering bisacsh Web services / Testing Computer network protocols Verifikation (DE-588)4135577-5 gnd Web Services (DE-588)4691234-4 gnd Kommunikationsprotokoll (DE-588)4128252-8 gnd
subject_GND	(DE-588)4135577-5 (DE-588)4691234-4 (DE-588)4128252-8
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	COMPUTERS / Computer Engineering bisacsh Web services / Testing Computer network protocols Verifikation (DE-588)4135577-5 gnd Web Services (DE-588)4691234-4 gnd Kommunikationsprotokoll (DE-588)4128252-8 gnd
topic_facet	COMPUTERS / Computer Engineering Web services / Testing Computer network protocols Verifikation Web Services Kommunikationsprotokoll
url	https://onlinelibrary.wiley.com/doi/book/10.1002/9781118720103
work_keys_str_mv	AT mukherjeeanshuman verificationofcommunicationprotocolsinwebservicesmodelcheckingservicecompositions AT tarizahir verificationofcommunicationprotocolsinwebservicesmodelcheckingservicecompositions AT bertokpeter verificationofcommunicationprotocolsinwebservicesmodelcheckingservicecompositions

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge