Formal aspects of component software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2016]
|
| Schriftenreihe: | Lecture Notes in Computer Science
Volume 9539 |
| Schlagworte: | |
| Online-Zugang: | TUM01 Volltext |
| Beschreibung: | 1 Online Ressource (X, 331 Seiten) Illustrationen |
| ISBN: | 9783319289335 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-28934-2 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043475137 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 160322s2016 a||| |||| 10||| eng d | ||
| 020 | |a 9783319289335 |c Print |9 978-3-319-28933-5 | ||
| 035 | |a (OCoLC)944067906 | ||
| 035 | |a (DE-599)BVBBV043475137 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 310f |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 |c [2016] | |
| 264 | 4 | |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 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-28934-2 |
| 830 | 0 | |a Lecture Notes in Computer Science |v Volume 9539 |w (DE-604)BV014880109 |9 9539 | |
| 856 | 4 | 1 | |u https://doi.org/10.1007/978-3-319-28934-2 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028892035 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804176095040241664 |
|---|---|
| any_adam_object | |
| 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 | BV043475137 |
| classification_tum | DAT 510f DAT 310f |
| collection | ebook |
| ctrlnum | (OCoLC)944067906 (DE-599)BVBBV043475137 |
| 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 Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02265nam a2200577zcb4500</leader><controlfield tag="001">BV043475137</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">160322s2016 a||| |||| 10||| eng d</controlfield><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="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)944067906</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043475137</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-91</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="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</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-28934-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">Volume 9539</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9539</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><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="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028892035</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></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043475137 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:26:44Z |
| institution | BVB |
| institution_GND | (DE-588)1083273078 |
| isbn | 9783319289335 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028892035 |
| oclc_num | 944067906 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online Ressource (X, 331 Seiten) Illustrationen |
| psigel | ebook ZDB-2-LNC ZDB-2-LNC-2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| 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 [2016] © 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 Erscheint auch als Online-Ausgabe 978-3-319-28934-2 Lecture Notes in Computer Science Volume 9539 (DE-604)BV014880109 9539 https://doi.org/10.1007/978-3-319-28934-2 Verlag URL des Erstveröffentlichers Volltext |
| 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 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT facsniteroi formalaspectsofcomponentsoftware12thinternationalconferencefacs2015niteroibraziloctober14162015revisedselectedpapers AT bragachristiano formalaspectsofcomponentsoftware12thinternationalconferencefacs2015niteroibraziloctober14162015revisedselectedpapers |