Dependable software engineering: theories, tools, and applications : 5th international symposium, SETTA 2019, Shanghai, China, November 27–29, 2019 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham
Springer
[2019]
|
| Series: | Lecture notes in computer science
11951 |
| Subjects: | |
| Physical Description: | viii, 138 Seiten Diagramme |
| ISBN: | 9783030355395 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046324691 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 200109s2019 xx |||| |||| 10||| eng d | ||
| 020 | |a 9783030355395 |9 978-3-030-35539-5 | ||
| 035 | |a (OCoLC)1130714375 | ||
| 035 | |a (DE-599)BVBBV046324691 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 111 | 2 | |a SETTA |n 5. |d 2019 |c Schanghai |j Verfasser |0 (DE-588)1201496446 |4 aut | |
| 245 | 1 | 0 | |a Dependable software engineering |b theories, tools, and applications : 5th international symposium, SETTA 2019, Shanghai, China, November 27–29, 2019 : proceedings |c Nan Guan, Joost-Pieter Katoen, Jun Sun (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2019] | |
| 300 | |a viii, 138 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 11951 | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Computer Systems Organization and Communication Networks | |
| 650 | 4 | |a Control Structures and Microprogramming | |
| 650 | 4 | |a Simulation and Modeling | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer organization | |
| 650 | 4 | |a Microprogramming | |
| 650 | 4 | |a Computer simulation | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2019 |z Schanghai |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 1 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Guan, Nan |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-35540-1 |
| 830 | 0 | |a Lecture notes in computer science |v 11951 |w (DE-604)BV000000607 |9 11951 | |
| 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-031701645 | |
Record in the Search Index
| _version_ | 1820875760579117056 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Guan, Nan |
| author2_role | edt |
| author2_variant | n g ng |
| author_corporate | SETTA Schanghai |
| author_corporate_role | aut |
| author_facet | Guan, Nan SETTA Schanghai |
| author_sort | SETTA Schanghai |
| building | Verbundindex |
| bvnumber | BV046324691 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1130714375 (DE-599)BVBBV046324691 |
| 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">BV046324691</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">200109s2019 xx |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030355395</subfield><subfield code="9">978-3-030-35539-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1130714375</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046324691</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-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">SETTA</subfield><subfield code="n">5.</subfield><subfield code="d">2019</subfield><subfield code="c">Schanghai</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1201496446</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dependable software engineering</subfield><subfield code="b">theories, tools, and applications : 5th international symposium, SETTA 2019, Shanghai, China, November 27–29, 2019 : proceedings</subfield><subfield code="c">Nan Guan, Joost-Pieter Katoen, Jun Sun (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">viii, 138 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">11951</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Systems Organization and Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Control Structures and Microprogramming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation and Modeling</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">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer organization</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprogramming </subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</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="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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-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">2019</subfield><subfield code="z">Schanghai</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-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">Guan, Nan</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-030-35540-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11951</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">11951</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-031701645</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2019 Schanghai gnd-content |
| genre_facet | Konferenzschrift 2019 Schanghai |
| id | DE-604.BV046324691 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:20:45Z |
| institution | BVB |
| institution_GND | (DE-588)1201496446 |
| isbn | 9783030355395 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031701645 |
| oclc_num | 1130714375 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | viii, 138 Seiten Diagramme |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | SETTA 5. 2019 Schanghai Verfasser (DE-588)1201496446 aut Dependable software engineering theories, tools, and applications : 5th international symposium, SETTA 2019, Shanghai, China, November 27–29, 2019 : proceedings Nan Guan, Joost-Pieter Katoen, Jun Sun (eds.) Cham Springer [2019] viii, 138 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 11951 Software Engineering Computer Systems Organization and Communication Networks Control Structures and Microprogramming Simulation and Modeling Logics and Meanings of Programs Mathematical Logic and Formal Languages Software engineering Computer organization Microprogramming Computer simulation Computer logic Mathematical logic Software Engineering (DE-588)4116521-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2019 Schanghai gnd-content Software Engineering (DE-588)4116521-4 s Programmiersprache (DE-588)4047409-4 s 1\p DE-604 Guan, Nan edt Erscheint auch als Online-Ausgabe 978-3-030-35540-1 Lecture notes in computer science 11951 (DE-604)BV000000607 11951 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Dependable software engineering theories, tools, and applications : 5th international symposium, SETTA 2019, Shanghai, China, November 27–29, 2019 : proceedings Lecture notes in computer science Software Engineering Computer Systems Organization and Communication Networks Control Structures and Microprogramming Simulation and Modeling Logics and Meanings of Programs Mathematical Logic and Formal Languages Software engineering Computer organization Microprogramming Computer simulation Computer logic Mathematical logic Software Engineering (DE-588)4116521-4 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Dependable software engineering theories, tools, and applications : 5th international symposium, SETTA 2019, Shanghai, China, November 27–29, 2019 : proceedings |
| title_auth | Dependable software engineering theories, tools, and applications : 5th international symposium, SETTA 2019, Shanghai, China, November 27–29, 2019 : proceedings |
| title_exact_search | Dependable software engineering theories, tools, and applications : 5th international symposium, SETTA 2019, Shanghai, China, November 27–29, 2019 : proceedings |
| title_full | Dependable software engineering theories, tools, and applications : 5th international symposium, SETTA 2019, Shanghai, China, November 27–29, 2019 : proceedings Nan Guan, Joost-Pieter Katoen, Jun Sun (eds.) |
| title_fullStr | Dependable software engineering theories, tools, and applications : 5th international symposium, SETTA 2019, Shanghai, China, November 27–29, 2019 : proceedings Nan Guan, Joost-Pieter Katoen, Jun Sun (eds.) |
| title_full_unstemmed | Dependable software engineering theories, tools, and applications : 5th international symposium, SETTA 2019, Shanghai, China, November 27–29, 2019 : proceedings Nan Guan, Joost-Pieter Katoen, Jun Sun (eds.) |
| title_short | Dependable software engineering |
| title_sort | dependable software engineering theories tools and applications 5th international symposium setta 2019 shanghai china november 27 29 2019 proceedings |
| title_sub | theories, tools, and applications : 5th international symposium, SETTA 2019, Shanghai, China, November 27–29, 2019 : proceedings |
| topic | Software Engineering Computer Systems Organization and Communication Networks Control Structures and Microprogramming Simulation and Modeling Logics and Meanings of Programs Mathematical Logic and Formal Languages Software engineering Computer organization Microprogramming Computer simulation Computer logic Mathematical logic Software Engineering (DE-588)4116521-4 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Software Engineering Computer Systems Organization and Communication Networks Control Structures and Microprogramming Simulation and Modeling Logics and Meanings of Programs Mathematical Logic and Formal Languages Software engineering Computer organization Microprogramming Computer simulation Computer logic Mathematical logic Programmiersprache Konferenzschrift 2019 Schanghai |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT settaschanghai dependablesoftwareengineeringtheoriestoolsandapplications5thinternationalsymposiumsetta2019shanghaichinanovember27292019proceedings AT guannan dependablesoftwareengineeringtheoriestoolsandapplications5thinternationalsymposiumsetta2019shanghaichinanovember27292019proceedings |