Verfügbarkeit: Formal techniques for distributed systems

Formal techniques for distributed systems: joint IFIP WG 6.1 international conference, FMOODS/ FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3 - 5, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 7892
Schlagworte:	Formale Methode Verteiltes System Konferenzschrift > 2013 > Florenz
Online-Zugang:	Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XIII, 320 S.) graph. Darst.
ISBN:	9783642385919 9783642385926
DOI:	10.1007/978-3-642-38592-6

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041401851
003	DE-604
005	20140305
007	cr\|uuu---uuuuu
008	131107s2013 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783642385919 \|9 978-3-642-38591-9
020			\|a 9783642385926 \|c eISBN \|9 978-3-642-38592-6
024	7		\|a 10.1007/978-3-642-38592-6 \|2 doi
035			\|a (OCoLC)852532465
035			\|a (DE-599)BVBBV041401851
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-M347 \|a DE-20 \|a DE-703 \|a DE-Aug4 \|a DE-92 \|a DE-29 \|a DE-739 \|a DE-859 \|a DE-91 \|a DE-706 \|a DE-384 \|a DE-634 \|a DE-355
082	0		\|a 005.1015113
084			\|a DAT 510f \|2 stub
084			\|a DAT 250f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Formal techniques for distributed systems \|b joint IFIP WG 6.1 international conference, FMOODS/ FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3 - 5, 2013 ; proceedings \|c Dirk Beyer ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource (XIII, 320 S.) \|b 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 7892
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verteiltes System \|0 (DE-588)4238872-7 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Florenz \|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
700	1		\|a Beyer, Dirk \|d 1972- \|e Sonstige \|0 (DE-588)124429041 \|4 oth
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 Joint IFIP WG 6.1 International Conference FMOODS/FORTE \|d 2013 \|c Florenz \|j Sonstige \|0 (DE-588)1035758245 \|4 oth
711	2		\|a International Federated Conference on Distributed Computing Techniques \|n 8 \|d 2013 \|c Florenz \|j Sonstige \|0 (DE-588)1035517426 \|4 oth
830		0	\|a Lecture notes in computer science \|v 7892 \|w (DE-604)BV014880109 \|9 7892
856	4	0	\|u https://doi.org/10.1007/978-3-642-38592-6 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849357&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849357&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026849357

Datensatz im Suchindex

_version_	1820875509989376000
adam_text	FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS / : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS DISTRIBUTED COMPUTING MODELS FORMAL SPECIFICATION TESTING VERIFICATION METHODS APPLICATION-LEVEL DISTRIBUTED SYSTEMS TELECOMMUNICATION SERVICES INTERNET EMBEDDED AND REAL-TIME SYSTEMS.-NETWORKING AND COMMUNICATION SECURITY AND RELIABILITY DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS / : 2013 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 15TH IFIP WG 6.1 INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, FMOODS 2013, AND THE 33RD IFIP WG 6.1 INTERNATIONAL CONFERENCE ON FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, FORTE 2013, HELD IN FLORENCE, ITALY, IN JUNE 2013, AS PART OF THE 8TH INTERNATIONAL FEDERATED CONFERENCE ON DISTRIBUTED COMPUTING TECHNIQUES, DISCOTEC 2013. THE 20 REVISED FULL PAPERS PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 39 SUBMISSIONS. THE PAPERS PRESENT A WIDE RANGE OF TOPICS COMBINING THEORY AND PRACTICE. THEY COVER DISTRIBUTED COMPUTING MODELS AND FORMAL SPECIFICATION, TESTING, AND VERIFICATION METHODS AS WELL AS APPLICATION DOMAINS SUCH AS APPLICATION-LEVEL DISTRIBUTED SYSTEMS, TELECOMMUNICATION SERVICES, INTERNET, EMBEDDED AND REAL-TIME SYSTEMS, AND NETWORKING AND COMMUNICATION SECURITY AND RELIABILITY DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author_GND	(DE-588)124429041
building	Verbundindex
bvnumber	BV041401851
classification_rvk	SS 4800
classification_tum	DAT 510f DAT 250f DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)852532465 (DE-599)BVBBV041401851
dewey-full	005.1015113
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1015113
dewey-search	005.1015113
dewey-sort	15.1015113
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-642-38592-6
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">BV041401851</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140305</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">131107s2013 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642385919</subfield><subfield code="9">978-3-642-38591-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642385926</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-38592-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-38592-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)852532465</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041401851</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-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</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">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal techniques for distributed systems</subfield><subfield code="b">joint IFIP WG 6.1 international conference, FMOODS/ FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3 - 5, 2013 ; proceedings</subfield><subfield code="c">Dirk Beyer ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 320 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">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">7892</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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Florenz</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="700" ind1="1" ind2=" "><subfield code="a">Beyer, Dirk</subfield><subfield code="d">1972-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)124429041</subfield><subfield code="4">oth</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">Joint IFIP WG 6.1 International Conference FMOODS/FORTE</subfield><subfield code="d">2013</subfield><subfield code="c">Florenz</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1035758245</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Federated Conference on Distributed Computing Techniques</subfield><subfield code="n">8</subfield><subfield code="d">2013</subfield><subfield code="c">Florenz</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1035517426</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">7892</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7892</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-38592-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849357&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849357&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026849357</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Florenz gnd-content
genre_facet	Konferenzschrift 2013 Florenz
id	DE-604.BV041401851
illustrated	Illustrated
indexdate	2025-01-10T15:16:46Z
institution	BVB
institution_GND	(DE-588)5103524-8 (DE-588)1035758245 (DE-588)1035517426
isbn	9783642385919 9783642385926
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026849357
oclc_num	852532465
open_access_boolean
owner	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-739 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-739 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XIII, 320 S.) graph. Darst.
psigel	ZDB-2-SCS ZDB-2-LNC
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Formal techniques for distributed systems joint IFIP WG 6.1 international conference, FMOODS/ FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3 - 5, 2013 ; proceedings Dirk Beyer ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XIII, 320 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7892 Formale Methode (DE-588)4333722-3 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Florenz gnd-content Verteiltes System (DE-588)4238872-7 s Formale Methode (DE-588)4333722-3 s DE-604 Beyer, Dirk 1972- Sonstige (DE-588)124429041 oth International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks Sonstige (DE-588)5103524-8 oth Joint IFIP WG 6.1 International Conference FMOODS/FORTE 2013 Florenz Sonstige (DE-588)1035758245 oth International Federated Conference on Distributed Computing Techniques 8 2013 Florenz Sonstige (DE-588)1035517426 oth Lecture notes in computer science 7892 (DE-604)BV014880109 7892 https://doi.org/10.1007/978-3-642-38592-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849357&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849357&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Formal techniques for distributed systems joint IFIP WG 6.1 international conference, FMOODS/ FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3 - 5, 2013 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Verteiltes System (DE-588)4238872-7 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4238872-7 (DE-588)1071861417
title	Formal techniques for distributed systems joint IFIP WG 6.1 international conference, FMOODS/ FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3 - 5, 2013 ; proceedings
title_auth	Formal techniques for distributed systems joint IFIP WG 6.1 international conference, FMOODS/ FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3 - 5, 2013 ; proceedings
title_exact_search	Formal techniques for distributed systems joint IFIP WG 6.1 international conference, FMOODS/ FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3 - 5, 2013 ; proceedings
title_full	Formal techniques for distributed systems joint IFIP WG 6.1 international conference, FMOODS/ FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3 - 5, 2013 ; proceedings Dirk Beyer ... (eds.)
title_fullStr	Formal techniques for distributed systems joint IFIP WG 6.1 international conference, FMOODS/ FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3 - 5, 2013 ; proceedings Dirk Beyer ... (eds.)
title_full_unstemmed	Formal techniques for distributed systems joint IFIP WG 6.1 international conference, FMOODS/ FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3 - 5, 2013 ; proceedings Dirk Beyer ... (eds.)
title_short	Formal techniques for distributed systems
title_sort	formal techniques for distributed systems joint ifip wg 6 1 international conference fmoods forte 2013 held as part of the 8th international federated conference on distributed computing techniques discotec 2013 florence italy june 3 5 2013 proceedings
title_sub	joint IFIP WG 6.1 international conference, FMOODS/ FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3 - 5, 2013 ; proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Verteiltes System (DE-588)4238872-7 gnd
topic_facet	Formale Methode Verteiltes System Konferenzschrift 2013 Florenz
url	https://doi.org/10.1007/978-3-642-38592-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849357&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849357&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT beyerdirk formaltechniquesfordistributedsystemsjointifipwg61internationalconferencefmoodsforte2013heldaspartofthe8thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2013florenceitalyjune352013proceedings AT internationalfederationforinformationprocessingworkinggrouparchitectureandprotocolsforcomputernetworks formaltechniquesfordistributedsystemsjointifipwg61internationalconferencefmoodsforte2013heldaspartofthe8thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2013florenceitalyjune352013proceedings AT jointifipwg61internationalconferencefmoodsforteflorenz formaltechniquesfordistributedsystemsjointifipwg61internationalconferencefmoodsforte2013heldaspartofthe8thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2013florenceitalyjune352013proceedings AT internationalfederatedconferenceondistributedcomputingtechniquesflorenz formaltechniquesfordistributedsystemsjointifipwg61internationalconferencefmoodsforte2013heldaspartofthe8thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2013florenceitalyjune352013proceedings

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