Software engineering for resilient systems: 8th international workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
[Cham]
Springer
[2016]
|
| Schriftenreihe: | Lecture notes in computer science
9823 |
| Schlagworte: | |
| Beschreibung: | VIII, 148 Seiten Diagramme |
| ISBN: | 9783319458915 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043765443 | ||
| 003 | DE-604 | ||
| 005 | 20161110 | ||
| 007 | t| | ||
| 008 | 160914s2016 xx |||| |||| 10||| eng d | ||
| 020 | |a 9783319458915 |9 978-3-319-45891-5 | ||
| 035 | |a (OCoLC)960046253 | ||
| 035 | |a (DE-599)BVBBV043765443 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 111 | 2 | |a SERENE |n 8. |d 2016 |c Göteborg |j Verfasser |0 (DE-588)1114187585 |4 aut | |
| 245 | 1 | 0 | |a Software engineering for resilient systems |b 8th international workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings |c Ivica Crnkovic, Elena Troubitsyna (eds.) |
| 264 | 1 | |a [Cham] |b Springer |c [2016] | |
| 300 | |a VIII, 148 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 9823 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer communication systems | |
| 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 Logics and Meanings of Programs | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Management of Computing and Information Systems | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
| 689 | 0 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 0 | 2 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 4 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 5 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Crnkovic, Ivica |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-45892-2 |
| 830 | 0 | |a Lecture notes in computer science |v 9823 |w (DE-604)BV000000607 |9 9823 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029176685 | |
Datensatz im Suchindex
| _version_ | 1820875690795335680 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Crnkovic, Ivica |
| author2_role | edt |
| author2_variant | i c ic |
| author_corporate | SERENE Göteborg |
| author_corporate_role | aut |
| author_facet | Crnkovic, Ivica SERENE Göteborg |
| author_sort | SERENE Göteborg |
| building | Verbundindex |
| bvnumber | BV043765443 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)960046253 (DE-599)BVBBV043765443 |
| 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 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV043765443</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161110</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">160914s2016 xx |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319458915</subfield><subfield code="9">978-3-319-45891-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)960046253</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043765443</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">SERENE</subfield><subfield code="n">8.</subfield><subfield code="d">2016</subfield><subfield code="c">Göteborg</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1114187585</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software engineering for resilient systems</subfield><subfield code="b">8th international workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings</subfield><subfield code="c">Ivica Crnkovic, Elena Troubitsyna (eds.)</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="300" ind1=" " ind2=" "><subfield code="a">VIII, 148 Seiten</subfield><subfield code="b">Diagramme</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">9823</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 communication systems</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">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">Computer Communication Networks</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">Management of Computing and Information Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-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="4"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Crnkovic, Ivica</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-45892-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">9823</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9823</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029176685</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043765443 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:19:39Z |
| institution | BVB |
| institution_GND | (DE-588)1114187585 |
| isbn | 9783319458915 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029176685 |
| oclc_num | 960046253 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | VIII, 148 Seiten Diagramme |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | SERENE 8. 2016 Göteborg Verfasser (DE-588)1114187585 aut Software engineering for resilient systems 8th international workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings Ivica Crnkovic, Elena Troubitsyna (eds.) [Cham] Springer [2016] VIII, 148 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 9823 Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Management information systems Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Mathematical Logic and Formal Languages Management of Computing and Information Systems Informatik Formale Methode (DE-588)4333722-3 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Fehlertoleranz (DE-588)4123192-2 s Zuverlässigkeit (DE-588)4059245-5 s Software Engineering (DE-588)4116521-4 s Formale Methode (DE-588)4333722-3 s Verifikation (DE-588)4135577-5 s Sicherheitskritisches System (DE-588)4767762-4 s 1\p DE-604 Crnkovic, Ivica edt Erscheint auch als Online-Ausgabe 978-3-319-45892-2 Lecture notes in computer science 9823 (DE-604)BV000000607 9823 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Software engineering for resilient systems 8th international workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings Lecture notes in computer science Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Management information systems Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Mathematical Logic and Formal Languages Management of Computing and Information Systems Informatik Formale Methode (DE-588)4333722-3 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Software Engineering (DE-588)4116521-4 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4059245-5 (DE-588)4116521-4 (DE-588)4767762-4 (DE-588)4135577-5 (DE-588)4123192-2 (DE-588)1071861417 |
| title | Software engineering for resilient systems 8th international workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings |
| title_auth | Software engineering for resilient systems 8th international workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings |
| title_exact_search | Software engineering for resilient systems 8th international workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings |
| title_full | Software engineering for resilient systems 8th international workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings Ivica Crnkovic, Elena Troubitsyna (eds.) |
| title_fullStr | Software engineering for resilient systems 8th international workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings Ivica Crnkovic, Elena Troubitsyna (eds.) |
| title_full_unstemmed | Software engineering for resilient systems 8th international workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings Ivica Crnkovic, Elena Troubitsyna (eds.) |
| title_short | Software engineering for resilient systems |
| title_sort | software engineering for resilient systems 8th international workshop serene 2016 gothenburg sweden september 5 6 2016 proceedings |
| title_sub | 8th international workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings |
| topic | Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Management information systems Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Mathematical Logic and Formal Languages Management of Computing and Information Systems Informatik Formale Methode (DE-588)4333722-3 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Software Engineering (DE-588)4116521-4 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| topic_facet | Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Management information systems Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Mathematical Logic and Formal Languages Management of Computing and Information Systems Informatik Formale Methode Zuverlässigkeit Sicherheitskritisches System Verifikation Fehlertoleranz Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT serenegoteborg softwareengineeringforresilientsystems8thinternationalworkshopserene2016gothenburgswedenseptember562016proceedings AT crnkovicivica softwareengineeringforresilientsystems8thinternationalworkshopserene2016gothenburgswedenseptember562016proceedings |