Holdings: 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

Saved in:

Bibliographic Details
Other Authors:	Steffen, Martin 1965- (Editor)
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] Springer 2005
Series:	Lecture Notes in Computer Science 3535
Subjects:	Formale Methode Offenes Kommunikationssystem Verteiltes System Objektorientierung Konferenzschrift > 2005 > Athen
Online Access:	DE-634 DE-M347 DE-91 DE-384 DE-473 DE-19 DE-706 DE-739 Volltext
Physical Description:	1 Online-Ressource (X, 321 S.) Ill., graph. Darst.
ISBN:	3540261818 9783540261810
DOI:	10.1007/b136996

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV022368652
003	DE-604
005	20080430
007	cr\|uuu---uuuuu
008	070328s2005 gw o\|\|\|\| 00\|\|\| 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 DAT 315f \|2 stub
084			\|a DAT 510f \|2 stub
084			\|a DAT 250f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 000 \|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 Formale Methode \|0 (DE-588)4333722-3 \|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 Verteiltes System \|0 (DE-588)4238872-7 \|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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-015577874
966	e		\|u https://doi.org/10.1007/b136996 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b136996 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b136996 \|l DE-91 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b136996 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b136996 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b136996 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b136996 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/b136996 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1820875008261488640
adam_text
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 315f DAT 510f DAT 250f DAT 000
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>00000nam a2200000 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\|\|\|\| 00\|\|\| 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">DAT 315f</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 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="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">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">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">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">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="943" ind1="1" 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">DE-634</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">DE-M347</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">DE-91</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">DE-384</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">DE-473</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">DE-19</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">DE-706</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">DE-739</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	2025-01-10T15:08:48Z
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 Formale Methode (DE-588)4333722-3 gnd rswk-swf Offenes Kommunikationssystem (DE-588)4135691-3 gnd rswk-swf Verteiltes System (DE-588)4238872-7 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 Formale Methode (DE-588)4333722-3 gnd Offenes Kommunikationssystem (DE-588)4135691-3 gnd Verteiltes System (DE-588)4238872-7 gnd Objektorientierung (DE-588)4346172-4 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4135691-3 (DE-588)4238872-7 (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	Formale Methode (DE-588)4333722-3 gnd Offenes Kommunikationssystem (DE-588)4135691-3 gnd Verteiltes System (DE-588)4238872-7 gnd Objektorientierung (DE-588)4346172-4 gnd
topic_facet	Formale Methode Offenes Kommunikationssystem Verteiltes System 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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items