Verfügbarkeit: Formal methods for components and objects

Formal methods for components and objects: 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 7542 : State-of-the-art-survey
Schlagworte:	Formale Methode Softwareentwicklung Komponente > Software Objektorientierung Konferenzschrift > 2011 > Turin
Online-Zugang:	Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (X, 356 S.) Ill., graph. Darst.
ISBN:	9783642358869 3642358861 9783642358876
DOI:	10.1007/978-3-642-35887-6

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV040912386
003	DE-604
007	cr\|uuu---uuuuu
008	130326s2013 gw ad\|\| o\|\|\|\| 00\|\|\| eng d
020			\|a 9783642358869 \|9 978-3-642-35886-9
020			\|a 3642358861 \|9 3-642-35886-1
020			\|a 9783642358876 \|c eISBN \|9 978-3-642-35887-6
024	7		\|a 10.1007/978-3-642-35887-6 \|2 doi
035			\|a (OCoLC)829742053
035			\|a (DE-599)BVBBV040912386
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-20 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-703 \|a DE-29 \|a DE-92 \|a DE-Aug4 \|a DE-859 \|a DE-634 \|a DE-355
082	0		\|a 005.1
084			\|a DAT 510f \|2 stub
084			\|a DAT 310f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Formal methods for components and objects \|b 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers \|c Bernhard Beckert ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource (X, 356 S.) \|b 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 7542 : State-of-the-art-survey
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Komponente \|g Software \|0 (DE-588)4439521-8 \|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 2011 \|z Turin \|2 gnd-content
689	0	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	1	1	\|a Objektorientierung \|0 (DE-588)4346172-4 \|D s
689	1	2	\|a Komponente \|g Software \|0 (DE-588)4439521-8 \|D s
689	1	3	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|5 DE-604
700	1		\|a Beckert, Bernhard \|e Sonstige \|4 oth
711	2		\|a FMCO \|n 10 \|d 2011 \|c Turin \|j Sonstige \|0 (DE-588)1031894039 \|4 oth
830		0	\|a Lecture notes in computer science \|v 7542 : State-of-the-art-survey \|w (DE-604)BV014880109 \|9 7542
856	4	0	\|u https://doi.org/10.1007/978-3-642-35887-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=025891686&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=025891686&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-LNC
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025891686

Datensatz im Suchindex

_version_	1820875450479542272
adam_text	FORMAL METHODS FOR COMPONENTS AND OBJECTS / : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS THE ASCENS PROJECT ASCENS: ENGINEERING AUTONOMIC SERVICE-COMPONENT ENSEMBLES A LANGUAGE-BASED APPROACH TO AUTONOMIC COMPUTING A SURVEY ON BASIC CONNECTORS AND BUFFERS THE ETERNALS COORDINATION ACTION SYNTHESIS-BASED VARIABILITY CONTROL: CORRECTNESS BY CONSTRUCTION MODELING APPLICATION-LEVEL MANAGEMENT OF VIRTUALIZED RESOURCES IN ABS HATS ABSTRACT BEHAVIORAL SPECIFICATION: THE ARCHITECTURAL VIEW AUTOMATIC SERVICE CATEGORISATION THROUGH MACHINE LEARNING IN EMERGENT MIDDLEWARE TOWARDS A MODEL- AND LEARNING-BASED FRAMEWORK FOR SECURITY ANOMALY DETECTION ENHANCING MODEL DRIVEN SECURITY THROUGH PATTERN REFINEMENT TECHNIQUES PROJECT ZEPPELIN: A MODERN WEB APPLICATION DEVELOPMENT FRAMEWORK THE PARAPHRASE PROJECT MANAGING ADAPTIVITY IN PARALLEL SYSTEMS THE PARAPHRASE PROJECT: PARALLEL PATTERNS FOR ADAPTIVE HETEROGENEOUS MULTICORE SYSTEMS PARAPHRASING: GENERATING PARALLEL PROGRAMS USING REFACTORING AN ABSTRACT ANNOTATION MODEL FOR SKELETONS THE PRO3D PROJECT PRO3D, PROGRAMMING FOR FUTURE 3D MANYCORE ARCHITECTURES: PROJECT INTERIM STATUS THERMAL-AWARE TASK ASSIGNMENT FOR REAL-TIME APPLICATIONS ON MULTI-CORE SYSTEMS COMPONENT ASSEMBLIES IN THE CONTEXT OF MANYCORE LOW-COST DYNAMIC VOLTAGE AND FREQUENCY MANAGEMENT BASED UPON ROBUST CONTROL TECHNIQUES UNDER THERMAL CONSTRAINTS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. FORMAL METHODS FOR COMPONENTS AND OBJECTS / : 2013 ABSTRACT / INHALTSTEXT FORMAL METHODS HAVE BEEN APPLIED SUCCESSFULLY TO THE VERIFICATION OF MEDIUM-SIZED PROGRAMS IN PROTOCOL AND HARDWARE DESIGN FOR SOME TIME. HOWEVER, THEIR APPLICATION TO THE DEVELOPMENT OF LARGE SYSTEMS REQUIRES MORE EMPHASIS ON SPECIFICATION, MODELING, AND VALIDATION TECHNIQUES SUPPORTING THE CONCEPTS OF REUSABILITY AND MODIFIABILITY, AND THEIR IMPLEMENTATION IN NEW EXTENSIONS OF EXISTING PROGRAMMING LANGUAGES LIKE JAVA. THIS BOOK CONTAINS 20 REVISED PAPERS SUBMITTED AFTER THE 10TH SYMPOSIUM ON FORMAL METHODS FOR COMPONENTS AND OBJECTS, FMCO 2011, WHICH WAS HELD IN TURIN, ITALY, IN OCTOBER 2011. TOPICS COVERED INCLUDE AUTONOMIC SERVICE-COMPONENT ENSEMBLES; TRUSTWORTHY ETERNAL SYSTEMS VIA EVOLVING SOFTWARE, DATA, AND KNOWLEDGE; PARALLEL PATTERNS FOR ADAPTIVE HETEROGENEOUS MULTICORE SYSTEMS; PROGRAMMING FOR FUTURE 3D ARCHITECTURES WITH MANY CORES; FORMAL VERIFICATION OF OBJECT ORIENTED SOFTWARE; AND AN INFRASTRUCTURE FOR RELIABLE COMPUTER SYSTEMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
building	Verbundindex
bvnumber	BV040912386
classification_rvk	SS 4800
classification_tum	DAT 510f DAT 310f DAT 000
collection	ZDB-2-LNC ZDB-2-SCS
ctrlnum	(OCoLC)829742053 (DE-599)BVBBV040912386
dewey-full	005.1
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1
dewey-search	005.1
dewey-sort	15.1
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-642-35887-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">BV040912386</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">130326s2013 gw ad\|\| o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642358869</subfield><subfield code="9">978-3-642-35886-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642358861</subfield><subfield code="9">3-642-35886-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642358876</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-35887-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-35887-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)829742053</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040912386</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-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</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 310f</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 methods for components and objects</subfield><subfield code="b">10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers</subfield><subfield code="c">Bernhard Beckert ... (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 (X, 356 S.)</subfield><subfield code="b">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">7542 : State-of-the-art-survey</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</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">2011</subfield><subfield code="z">Turin</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Beckert, Bernhard</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FMCO</subfield><subfield code="n">10</subfield><subfield code="d">2011</subfield><subfield code="c">Turin</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1031894039</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">7542 : State-of-the-art-survey</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7542</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-35887-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=025891686&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=025891686&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-LNC</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-025891686</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Turin gnd-content
genre_facet	Konferenzschrift 2011 Turin
id	DE-604.BV040912386
illustrated	Illustrated
indexdate	2025-01-10T15:15:48Z
institution	BVB
institution_GND	(DE-588)1031894039
isbn	9783642358869 3642358861 9783642358876
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025891686
oclc_num	829742053
open_access_boolean
owner	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (X, 356 S.) Ill., graph. Darst.
psigel	ZDB-2-LNC ZDB-2-SCS
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 methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers Bernhard Beckert ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (X, 356 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7542 : State-of-the-art-survey Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf Objektorientierung (DE-588)4346172-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Turin gnd-content Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s DE-604 Objektorientierung (DE-588)4346172-4 s Komponente Software (DE-588)4439521-8 s Beckert, Bernhard Sonstige oth FMCO 10 2011 Turin Sonstige (DE-588)1031894039 oth Lecture notes in computer science 7542 : State-of-the-art-survey (DE-604)BV014880109 7542 https://doi.org/10.1007/978-3-642-35887-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025891686&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=025891686&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Formal methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd Objektorientierung (DE-588)4346172-4 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4439521-8 (DE-588)4346172-4 (DE-588)1071861417
title	Formal methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers
title_auth	Formal methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers
title_exact_search	Formal methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers
title_full	Formal methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers Bernhard Beckert ... (eds.)
title_fullStr	Formal methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers Bernhard Beckert ... (eds.)
title_full_unstemmed	Formal methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers Bernhard Beckert ... (eds.)
title_short	Formal methods for components and objects
title_sort	formal methods for components and objects 10th international symposium fmco 2011 turin italy october 3 5 2011 revised selected papers
title_sub	10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers
topic	Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd Objektorientierung (DE-588)4346172-4 gnd
topic_facet	Formale Methode Softwareentwicklung Komponente Software Objektorientierung Konferenzschrift 2011 Turin
url	https://doi.org/10.1007/978-3-642-35887-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025891686&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=025891686&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT beckertbernhard formalmethodsforcomponentsandobjects10thinternationalsymposiumfmco2011turinitalyoctober352011revisedselectedpapers AT fmcoturin formalmethodsforcomponentsandobjects10thinternationalsymposiumfmco2011turinitalyoctober352011revisedselectedpapers

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