Verfügbarkeit: Formal methods for open object based distributed systems

Formal methods for open object based distributed systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Steffen, Martin 1965- (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2005
Schriftenreihe:	Lecture Notes in Computer Science 3535
Schlagworte:	Verteiltes System Offenes Kommunikationssystem Formale Methode Objektorientierung Konferenzschrift > 2005 > Athen
Online-Zugang:	BTU01 FHM01 TUM01 UBA01 UBG01 UBM01 UBY01 UPA01 Volltext
Beschreibung:	1 Online-Ressource (X, 321 S.) Ill., graph. Darst.
ISBN:	3540261818 9783540261810
DOI:	10.1007/b136996

Internformat

MARC


LEADER	00000nmm a2200000 cb4500
001	BV022368652
003	DE-604
005	20080430
007	cr\|uuu---uuuuu
008	070328s2005 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
015			\|a 05,N22,0011 \|2 dnb
020			\|a 3540261818 \|c : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.) \|9 3-540-26181-8
020			\|a 9783540261810 \|9 978-3-540-26181-0
024	7		\|a 10.1007/b136996 \|2 doi
024	3		\|a 9783540261810
028	5	2	\|a 11494881
035			\|a (OCoLC)254460124
035			\|a (DE-599)BVBBV022368652
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-473 \|a DE-739 \|a DE-706 \|a DE-19 \|a DE-91 \|a DE-384 \|a DE-M347 \|a DE-634
082	0		\|a 005.131
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 250f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 000 \|2 stub
084			\|a DAT 510f \|2 stub
084			\|a DAT 315f \|2 stub
245	1	0	\|a Formal methods for open object based distributed systems \|b 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings \|c Martin Steffen ... (eds.)
246	1	3	\|a Formal methods for open object-based distributed systems
264		1	\|a Berlin [u.a.] \|b Springer \|c 2005
300			\|a 1 Online-Ressource (X, 321 S.) \|c Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 3535
650	0	7	\|a Verteiltes System \|0 (DE-588)4238872-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Offenes Kommunikationssystem \|0 (DE-588)4135691-3 \|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 Objektorientierung \|0 (DE-588)4346172-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2005 \|z Athen \|2 gnd-content
689	0	0	\|a Verteiltes System \|0 (DE-588)4238872-7 \|D s
689	0	1	\|a Offenes Kommunikationssystem \|0 (DE-588)4135691-3 \|D s
689	0	2	\|a Objektorientierung \|0 (DE-588)4346172-4 \|D s
689	0	3	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
700	1		\|a Steffen, Martin \|d 1965- \|0 (DE-588)121604543 \|4 edt
711	2		\|a FMOODS \|n 7 \|d 2005 \|c Athen \|j Sonstige \|0 (DE-588)10106115-8 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 3535 \|w (DE-604)BV014880109 \|9 3535
856	4	0	\|u https://doi.org/10.1007/b136996 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
999			\|a oai:aleph.bib-bvb.de:BVB01-015577874
966	e		\|u https://doi.org/10.1007/b136996 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b136996 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b136996 \|l TUM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b136996 \|l UBA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b136996 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b136996 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b136996 \|l UBY01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b136996 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804136420406722560
adam_txt
any_adam_object
any_adam_object_boolean
author2	Steffen, Martin 1965-
author2_role	edt
author2_variant	m s ms
author_GND	(DE-588)121604543
author_facet	Steffen, Martin 1965-
building	Verbundindex
bvnumber	BV022368652
classification_rvk	SS 4800
classification_tum	DAT 250f DAT 000 DAT 510f DAT 315f
collection	ZDB-2-SCS
ctrlnum	(OCoLC)254460124 (DE-599)BVBBV022368652
dewey-full	005.131
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.131
dewey-search	005.131
dewey-sort	15.131
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/b136996
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03092nmm a2200697 cb4500</leader><controlfield tag="001">BV022368652</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080430 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">070328s2005 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,N22,0011</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540261818</subfield><subfield code="c">: EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)</subfield><subfield code="9">3-540-26181-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540261810</subfield><subfield code="9">978-3-540-26181-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/b136996</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540261810</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11494881</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)254460124</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022368652</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 250f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 315f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods for open object based distributed systems</subfield><subfield code="b">7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings</subfield><subfield code="c">Martin Steffen ... (eds.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Formal methods for open object-based distributed systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 321 S.)</subfield><subfield code="c">Ill., 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">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="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">3535</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">Offenes Kommunikationssystem</subfield><subfield code="0">(DE-588)4135691-3</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">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</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">2005</subfield><subfield code="z">Athen</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">Offenes Kommunikationssystem</subfield><subfield code="0">(DE-588)4135691-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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="700" ind1="1" ind2=" "><subfield code="a">Steffen, Martin</subfield><subfield code="d">1965-</subfield><subfield code="0">(DE-588)121604543</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FMOODS</subfield><subfield code="n">7</subfield><subfield code="d">2005</subfield><subfield code="c">Athen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10106115-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">3535</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">3535</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/b136996</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015577874</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b136996</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b136996</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b136996</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b136996</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b136996</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b136996</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b136996</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b136996</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2005 Athen gnd-content
genre_facet	Konferenzschrift 2005 Athen
id	DE-604.BV022368652
illustrated	Not Illustrated
index_date	2024-07-02T17:06:10Z
indexdate	2024-07-09T20:56:07Z
institution	BVB
institution_GND	(DE-588)10106115-8
isbn	3540261818 9783540261810
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015577874
oclc_num	254460124
open_access_boolean
owner	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634
owner_facet	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634
physical	1 Online-Ressource (X, 321 S.) Ill., graph. Darst.
psigel	ZDB-2-SCS
publishDate	2005
publishDateSearch	2005
publishDateSort	2005
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings Martin Steffen ... (eds.) Formal methods for open object-based distributed systems Berlin [u.a.] Springer 2005 1 Online-Ressource (X, 321 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 3535 Verteiltes System (DE-588)4238872-7 gnd rswk-swf Offenes Kommunikationssystem (DE-588)4135691-3 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Objektorientierung (DE-588)4346172-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2005 Athen gnd-content Verteiltes System (DE-588)4238872-7 s Offenes Kommunikationssystem (DE-588)4135691-3 s Objektorientierung (DE-588)4346172-4 s Formale Methode (DE-588)4333722-3 s DE-604 Steffen, Martin 1965- (DE-588)121604543 edt FMOODS 7 2005 Athen Sonstige (DE-588)10106115-8 oth Lecture Notes in Computer Science 3535 (DE-604)BV014880109 3535 https://doi.org/10.1007/b136996 Verlag Volltext
spellingShingle	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings Lecture Notes in Computer Science Verteiltes System (DE-588)4238872-7 gnd Offenes Kommunikationssystem (DE-588)4135691-3 gnd Formale Methode (DE-588)4333722-3 gnd Objektorientierung (DE-588)4346172-4 gnd
subject_GND	(DE-588)4238872-7 (DE-588)4135691-3 (DE-588)4333722-3 (DE-588)4346172-4 (DE-588)1071861417
title	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings
title_alt	Formal methods for open object-based distributed systems
title_auth	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings
title_exact_search	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings
title_exact_search_txtP	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings
title_full	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings Martin Steffen ... (eds.)
title_fullStr	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings Martin Steffen ... (eds.)
title_full_unstemmed	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings Martin Steffen ... (eds.)
title_short	Formal methods for open object based distributed systems
title_sort	formal methods for open object based distributed systems 7th ifip wg 6 1 international conference fmoods 2005 athens greece june 15 17 2005 proceedings
title_sub	7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings
topic	Verteiltes System (DE-588)4238872-7 gnd Offenes Kommunikationssystem (DE-588)4135691-3 gnd Formale Methode (DE-588)4333722-3 gnd Objektorientierung (DE-588)4346172-4 gnd
topic_facet	Verteiltes System Offenes Kommunikationssystem Formale Methode Objektorientierung Konferenzschrift 2005 Athen
url	https://doi.org/10.1007/b136996
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT steffenmartin formalmethodsforopenobjectbaseddistributedsystems7thifipwg61internationalconferencefmoods2005athensgreecejune15172005proceedings AT fmoodsathen formalmethodsforopenobjectbaseddistributedsystems7thifipwg61internationalconferencefmoods2005athensgreecejune15172005proceedings AT steffenmartin formalmethodsforopenobjectbaseddistributedsystems AT fmoodsathen formalmethodsforopenobjectbaseddistributedsystems

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