Formal aspects of component software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
[2016]
|
| Series: | Lecture Notes in Computer Science
9539 |
| Subjects: | |
| Online Access: | HTW01 TUM01 UBR01 UBY01 Volltext Abstract Inhaltsverzeichnis |
| Physical Description: | 1 Online-Ressource (X, 331 Seiten) Illustrationen |
| ISBN: | 9783319289342 9783319289335 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-28934-2 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043408068 | ||
| 003 | DE-604 | ||
| 005 | 20160712 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160225s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319289342 |c Online |9 978-3-319-28934-2 | ||
| 020 | |a 9783319289335 |c Print |9 978-3-319-28933-5 | ||
| 024 | 7 | |a 10.1007/978-3-319-28934-2 |2 doi | |
| 035 | |a (OCoLC)936871536 | ||
| 035 | |a (DE-599)BVBBV043408068 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-706 |a DE-91 |a DE-19 |a DE-Aug4 |a DE-898 |a DE-859 |a DE-473 |a DE-29 |a DE-20 |a DE-92 |a DE-384 |a DE-573 |a DE-M347 |a DE-703 |a DE-739 |a DE-634 |a DE-861 |a DE-523 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 111 | 2 | |a FACS |n 12. |d 2015 |c Niterói |j Verfasser |0 (DE-588)1083273078 |4 aut | |
| 245 | 1 | 0 | |a Formal aspects of component software |b 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers |c edited by Christiano Braga, Peter Csaba Ölveczky |
| 264 | 1 | |a Cham |b Springer International Publishing |c [2016] | |
| 300 | |a 1 Online-Ressource (X, 331 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v volume 9539 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Management information systems | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Management of Computing and Information Systems | |
| 650 | 4 | |a Informatik | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Braga, Christiano |0 (DE-588)1058459775 |4 edt | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9539 |w (DE-604)BV014880109 |9 9539 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-28934-2 |x Verlag |z URL des Erstveröffentlichers |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=028826414&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 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=028826414&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028826414 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-28934-2 |l HTW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |l TUM01 |u https://doi.org/10.1007/978-3-319-28934-2 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-28934-2 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |l UBY01 |u https://doi.org/10.1007/978-3-319-28934-2 |p ZDB-2-LNC |q ZDB-2-LNC_2016 |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804175996408037376 |
|---|---|
| adam_text | FORMAL ASPECTS OF COMPONENT SOFTWARE
/
: 2016
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REVISED SELECTED PAPERS FROM THE 12TH
INTERNATIONAL CONFERENCE ON FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS
2015, HELD IN NITEROI, BRAZIL, IN OCTOBER 2015. THE 15 FULL PAPERS AND
2 INVITED PAPERS PRESENTED IN THIS VOLUME WERE CAREFULLY REVIEWED AND
SELECTED FROM 33 SUBMISSIONS. THEY ARE ORGANIZED IN TOPICAL SECTIONS,
NAMELY QUALITY OF SERVICE TO WITHSTAND FAULTS, COMPONENT-BASED SOFTWARE
DEVELOPMENT THROUGH RESEARCH ON MATHEMATICAL MODELS FOR COMPONENTS,
COMPOSITION AND ADAPTATION; RIGOROUS APPROACHES TO VERIFICATION,
DEPLOYMENT, TESTING, AND CERTIFICATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
FORMAL ASPECTS OF COMPONENT SOFTWARE
/
: 2016
TABLE OF CONTENTS / INHALTSVERZEICHNIS
QUALITY OF SERVICE TO WITHSTAND FAULTS
COMPONENT-BASED SOFTWARE DEVELOPMENT THROUGH RESEARCH ON MATHEMATICAL
MODELS FOR COMPONENTS
COMPOSITION AND ADAPTATION
RIGOROUS APPROACHES TO VERIFICATION, DEPLOYMENT, TESTING, AND
CERTIFICATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Braga, Christiano |
| author2_role | edt |
| author2_variant | c b cb |
| author_GND | (DE-588)1058459775 |
| author_corporate | FACS Niterói |
| author_corporate_role | aut |
| author_facet | Braga, Christiano FACS Niterói |
| author_sort | FACS Niterói |
| building | Verbundindex |
| bvnumber | BV043408068 |
| classification_tum | DAT 510f DAT 310f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)936871536 (DE-599)BVBBV043408068 |
| 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-319-28934-2 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03355nmm a2200673zcb4500</leader><controlfield tag="001">BV043408068</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160712 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160225s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319289342</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-28934-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319289335</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-28933-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-28934-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)936871536</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043408068</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</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="111" ind1="2" ind2=" "><subfield code="a">FACS</subfield><subfield code="n">12.</subfield><subfield code="d">2015</subfield><subfield code="c">Niterói</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1083273078</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal aspects of component software</subfield><subfield code="b">12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers</subfield><subfield code="c">edited by Christiano Braga, Peter Csaba Ölveczky</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 331 Seiten)</subfield><subfield code="b">Illustrationen</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">volume 9539</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Management information systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Management of Computing and Information Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Braga, Christiano</subfield><subfield code="0">(DE-588)1058459775</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9539</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9539</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-28934-2</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</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=028826414&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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=028826414&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028826414</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-28934-2</subfield><subfield code="l">HTW01</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="l">TUM01</subfield><subfield code="u">https://doi.org/10.1007/978-3-319-28934-2</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</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/978-3-319-28934-2</subfield><subfield code="l">UBR01</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="l">UBY01</subfield><subfield code="u">https://doi.org/10.1007/978-3-319-28934-2</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043408068 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:25:09Z |
| institution | BVB |
| institution_GND | (DE-588)1083273078 |
| isbn | 9783319289342 9783319289335 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028826414 |
| oclc_num | 936871536 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-861 DE-523 |
| owner_facet | DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-384 DE-573 DE-M347 DE-703 DE-739 DE-634 DE-861 DE-523 |
| physical | 1 Online-Ressource (X, 331 Seiten) Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2016 ZDB-2-LNC ZDB-2-LNC_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | FACS 12. 2015 Niterói Verfasser (DE-588)1083273078 aut Formal aspects of component software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers edited by Christiano Braga, Peter Csaba Ölveczky Cham Springer International Publishing [2016] 1 Online-Ressource (X, 331 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science volume 9539 0302-9743 Computer science Computer programming Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Management information systems Computer Science Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Management of Computing and Information Systems Informatik (DE-588)1071861417 Konferenzschrift gnd-content Braga, Christiano (DE-588)1058459775 edt Lecture Notes in Computer Science 9539 (DE-604)BV014880109 9539 https://doi.org/10.1007/978-3-319-28934-2 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028826414&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028826414&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal aspects of component software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers Lecture Notes in Computer Science Computer science Computer programming Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Management information systems Computer Science Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Management of Computing and Information Systems Informatik |
| subject_GND | (DE-588)1071861417 |
| title | Formal aspects of component software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers |
| title_auth | Formal aspects of component software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers |
| title_exact_search | Formal aspects of component software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers |
| title_full | Formal aspects of component software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers edited by Christiano Braga, Peter Csaba Ölveczky |
| title_fullStr | Formal aspects of component software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers edited by Christiano Braga, Peter Csaba Ölveczky |
| title_full_unstemmed | Formal aspects of component software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers edited by Christiano Braga, Peter Csaba Ölveczky |
| title_short | Formal aspects of component software |
| title_sort | formal aspects of component software 12th international conference facs 2015 niteroi brazil october 14 16 2015 revised selected papers |
| title_sub | 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers |
| topic | Computer science Computer programming Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Management information systems Computer Science Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Management of Computing and Information Systems Informatik |
| topic_facet | Computer science Computer programming Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Management information systems Computer Science Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Management of Computing and Information Systems Informatik Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-28934-2 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028826414&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=028826414&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT facsniteroi formalaspectsofcomponentsoftware12thinternationalconferencefacs2015niteroibraziloctober14162015revisedselectedpapers AT bragachristiano formalaspectsofcomponentsoftware12thinternationalconferencefacs2015niteroibraziloctober14162015revisedselectedpapers |