Verfügbarkeit: Formal techniques for networked and distibuted systems

Formal techniques for networked and distibuted systems: 22nd IFIP WG 6.1 international conference ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Peled, Doron A. (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan ; Paris ; Tokyo Springer 2002
Schriftenreihe:	Lecture notes in computer science 2529
Schlagworte:	Kommunikationsprotokoll Softwarespezifikation Model Checking Verteiltes System Telekommunikationsnetz Formale Methode Rechnernetz Formale Spezifikationstechnik Softwaretest Konferenzschrift > 2002 > Houston Tex.
Beschreibung:	Literaturangaben
Beschreibung:	XI, 368 S. graph. Darst.

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV026412858
003	DE-604
005	20120220
007	t
008	110326s2002 d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 02,N44,0240 \|2 dnb
015			\|a 03,A04,1091 \|2 dnb
035			\|a (OCoLC)615064350
035			\|a (DE-599)BVBBV026412858
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
049			\|a DE-188
245	1	0	\|a Formal techniques for networked and distibuted systems \|b 22nd IFIP WG 6.1 international conference ; proceedings \|c FORTE 2002, Houston, Texas, USA, November 11 - 14, 2002. Doron A. Peled ; Moshe Y. Vardi (ed.)
264		1	\|a Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan ; Paris ; Tokyo \|b Springer \|c 2002
300			\|a XI, 368 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Lecture notes in computer science \|v 2529
500			\|a Literaturangaben
650	0	7	\|a Kommunikationsprotokoll \|0 (DE-588)4128252-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwarespezifikation \|0 (DE-588)4056186-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verteiltes System \|0 (DE-588)4238872-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Telekommunikationsnetz \|0 (DE-588)4133586-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Rechnernetz \|0 (DE-588)4070085-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Spezifikationstechnik \|0 (DE-588)4299725-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwaretest \|0 (DE-588)4132652-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2002 \|z Houston Tex. \|2 gnd-content
689	0	0	\|a Verteiltes System \|0 (DE-588)4238872-7 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Telekommunikationsnetz \|0 (DE-588)4133586-7 \|D s
689	1	1	\|a Kommunikationsprotokoll \|0 (DE-588)4128252-8 \|D s
689	1		\|5 DE-604
689	2	0	\|a Rechnernetz \|0 (DE-588)4070085-9 \|D s
689	2	1	\|a Softwarespezifikation \|0 (DE-588)4056186-0 \|D s
689	2	2	\|a Formale Spezifikationstechnik \|0 (DE-588)4299725-2 \|D s
689	2		\|5 DE-604
689	3	0	\|a Softwaretest \|0 (DE-588)4132652-0 \|D s
689	3	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	3		\|5 DE-604
689	4	0	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	4		\|5 DE-604
700	1		\|a Peled, Doron A. \|4 edt
710	2		\|a International Federation for Information Processing \|b Working Group Architecture and Protocols for Computer Networks \|e Sonstige \|0 (DE-588)5103524-8 \|4 oth
711	2		\|a FORTE \|n 22 \|d 2002 \|c Houston, Tex. \|j Sonstige \|0 (DE-588)10047491-3 \|4 oth
999			\|a oai:aleph.bib-bvb.de:BVB01-021986959

Datensatz im Suchindex

_version_	1804144934457966592
any_adam_object
author2	Peled, Doron A.
author2_role	edt
author2_variant	d a p da dap
author_facet	Peled, Doron A.
building	Verbundindex
bvnumber	BV026412858
ctrlnum	(OCoLC)615064350 (DE-599)BVBBV026412858
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02666nam a2200613 cb4500</leader><controlfield tag="001">BV026412858</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120220 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110326s2002 d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">02,N44,0240</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">03,A04,1091</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)615064350</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV026412858</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-188</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal techniques for networked and distibuted systems</subfield><subfield code="b">22nd IFIP WG 6.1 international conference ; proceedings</subfield><subfield code="c">FORTE 2002, Houston, Texas, USA, November 11 - 14, 2002. Doron A. Peled ; Moshe Y. Vardi (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan ; Paris ; Tokyo</subfield><subfield code="b">Springer</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 368 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2529</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Telekommunikationsnetz</subfield><subfield code="0">(DE-588)4133586-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rechnernetz</subfield><subfield code="0">(DE-588)4070085-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2002</subfield><subfield code="z">Houston Tex.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Telekommunikationsnetz</subfield><subfield code="0">(DE-588)4133586-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Rechnernetz</subfield><subfield code="0">(DE-588)4070085-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Peled, Doron A.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Federation for Information Processing</subfield><subfield code="b">Working Group Architecture and Protocols for Computer Networks</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)5103524-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FORTE</subfield><subfield code="n">22</subfield><subfield code="d">2002</subfield><subfield code="c">Houston, Tex.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10047491-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-021986959</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2002 Houston Tex. gnd-content
genre_facet	Konferenzschrift 2002 Houston Tex.
id	DE-604.BV026412858
illustrated	Illustrated
indexdate	2024-07-09T23:11:27Z
institution	BVB
institution_GND	(DE-588)5103524-8 (DE-588)10047491-3
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-021986959
oclc_num	615064350
open_access_boolean
owner	DE-188
owner_facet	DE-188
physical	XI, 368 S. graph. Darst.
publishDate	2002
publishDateSearch	2002
publishDateSort	2002
publisher	Springer
record_format	marc
series2	Lecture notes in computer science
spelling	Formal techniques for networked and distibuted systems 22nd IFIP WG 6.1 international conference ; proceedings FORTE 2002, Houston, Texas, USA, November 11 - 14, 2002. Doron A. Peled ; Moshe Y. Vardi (ed.) Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan ; Paris ; Tokyo Springer 2002 XI, 368 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2529 Literaturangaben Kommunikationsprotokoll (DE-588)4128252-8 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Telekommunikationsnetz (DE-588)4133586-7 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Rechnernetz (DE-588)4070085-9 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2002 Houston Tex. gnd-content Verteiltes System (DE-588)4238872-7 s Formale Methode (DE-588)4333722-3 s DE-604 Telekommunikationsnetz (DE-588)4133586-7 s Kommunikationsprotokoll (DE-588)4128252-8 s Rechnernetz (DE-588)4070085-9 s Softwarespezifikation (DE-588)4056186-0 s Formale Spezifikationstechnik (DE-588)4299725-2 s Softwaretest (DE-588)4132652-0 s Model Checking (DE-588)4434799-6 s Peled, Doron A. edt International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks Sonstige (DE-588)5103524-8 oth FORTE 22 2002 Houston, Tex. Sonstige (DE-588)10047491-3 oth
spellingShingle	Formal techniques for networked and distibuted systems 22nd IFIP WG 6.1 international conference ; proceedings Kommunikationsprotokoll (DE-588)4128252-8 gnd Softwarespezifikation (DE-588)4056186-0 gnd Model Checking (DE-588)4434799-6 gnd Verteiltes System (DE-588)4238872-7 gnd Telekommunikationsnetz (DE-588)4133586-7 gnd Formale Methode (DE-588)4333722-3 gnd Rechnernetz (DE-588)4070085-9 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Softwaretest (DE-588)4132652-0 gnd
subject_GND	(DE-588)4128252-8 (DE-588)4056186-0 (DE-588)4434799-6 (DE-588)4238872-7 (DE-588)4133586-7 (DE-588)4333722-3 (DE-588)4070085-9 (DE-588)4299725-2 (DE-588)4132652-0 (DE-588)1071861417
title	Formal techniques for networked and distibuted systems 22nd IFIP WG 6.1 international conference ; proceedings
title_auth	Formal techniques for networked and distibuted systems 22nd IFIP WG 6.1 international conference ; proceedings
title_exact_search	Formal techniques for networked and distibuted systems 22nd IFIP WG 6.1 international conference ; proceedings
title_full	Formal techniques for networked and distibuted systems 22nd IFIP WG 6.1 international conference ; proceedings FORTE 2002, Houston, Texas, USA, November 11 - 14, 2002. Doron A. Peled ; Moshe Y. Vardi (ed.)
title_fullStr	Formal techniques for networked and distibuted systems 22nd IFIP WG 6.1 international conference ; proceedings FORTE 2002, Houston, Texas, USA, November 11 - 14, 2002. Doron A. Peled ; Moshe Y. Vardi (ed.)
title_full_unstemmed	Formal techniques for networked and distibuted systems 22nd IFIP WG 6.1 international conference ; proceedings FORTE 2002, Houston, Texas, USA, November 11 - 14, 2002. Doron A. Peled ; Moshe Y. Vardi (ed.)
title_short	Formal techniques for networked and distibuted systems
title_sort	formal techniques for networked and distibuted systems 22nd ifip wg 6 1 international conference proceedings
title_sub	22nd IFIP WG 6.1 international conference ; proceedings
topic	Kommunikationsprotokoll (DE-588)4128252-8 gnd Softwarespezifikation (DE-588)4056186-0 gnd Model Checking (DE-588)4434799-6 gnd Verteiltes System (DE-588)4238872-7 gnd Telekommunikationsnetz (DE-588)4133586-7 gnd Formale Methode (DE-588)4333722-3 gnd Rechnernetz (DE-588)4070085-9 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Softwaretest (DE-588)4132652-0 gnd
topic_facet	Kommunikationsprotokoll Softwarespezifikation Model Checking Verteiltes System Telekommunikationsnetz Formale Methode Rechnernetz Formale Spezifikationstechnik Softwaretest Konferenzschrift 2002 Houston Tex.
work_keys_str_mv	AT peleddorona formaltechniquesfornetworkedanddistibutedsystems22ndifipwg61internationalconferenceproceedings AT internationalfederationforinformationprocessingworkinggrouparchitectureandprotocolsforcomputernetworks formaltechniquesfornetworkedanddistibutedsystems22ndifipwg61internationalconferenceproceedings AT fortehoustontex formaltechniquesfornetworkedanddistibutedsystems22ndifipwg61internationalconferenceproceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge