Engineering trustworthy software systems: second international school, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2017]
|
| Schriftenreihe: | Lecture notes in computer science
10215 |
| Schlagworte: | |
| Beschreibung: | X, 257 Seiten Illustrationen |
| ISBN: | 9783319568409 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044288770 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 170428s2017 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783319568409 |9 978-3-319-56840-9 | ||
| 035 | |a (OCoLC)990016535 | ||
| 035 | |a (DE-599)BVBBV044288770 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a School on Engineering Trustworthy Software Systems |n 2. |d 2016 |c Chongqing |j Verfasser |0 (DE-588)1130878449 |4 aut | |
| 245 | 1 | 0 | |a Engineering trustworthy software systems |b second international school, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures |c Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2017] | |
| 300 | |a X, 257 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 10215 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Special purpose computers | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Computer simulation | |
| 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 Simulation and Modeling | |
| 650 | 4 | |a Special Purpose and Application-Based Systems | |
| 650 | 4 | |a Informatik | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Bowen, Jonathan P. |d 1956- |0 (DE-588)122239318 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-56841-6 |
| 830 | 0 | |a Lecture notes in computer science |v 10215 |w (DE-604)BV000000607 |9 10215 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029692918 | |
Datensatz im Suchindex
| _version_ | 1820875693704085504 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Bowen, Jonathan P. 1956- |
| author2_role | edt |
| author2_variant | j p b jp jpb |
| author_GND | (DE-588)122239318 |
| author_corporate | School on Engineering Trustworthy Software Systems Chongqing |
| author_corporate_role | aut |
| author_facet | Bowen, Jonathan P. 1956- School on Engineering Trustworthy Software Systems Chongqing |
| author_sort | School on Engineering Trustworthy Software Systems Chongqing |
| building | Verbundindex |
| bvnumber | BV044288770 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)990016535 (DE-599)BVBBV044288770 |
| 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">BV044288770</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">170428s2017 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319568409</subfield><subfield code="9">978-3-319-56840-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)990016535</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044288770</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="111" ind1="2" ind2=" "><subfield code="a">School on Engineering Trustworthy Software Systems</subfield><subfield code="n">2.</subfield><subfield code="d">2016</subfield><subfield code="c">Chongqing</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1130878449</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Engineering trustworthy software systems</subfield><subfield code="b">second international school, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures</subfield><subfield code="c">Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 257 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">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">10215</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special purpose computers</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">Computer simulation</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">Simulation and Modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special Purpose and Application-Based 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">Bowen, Jonathan P.</subfield><subfield code="d">1956-</subfield><subfield code="0">(DE-588)122239318</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-56841-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10215</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10215</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029692918</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044288770 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:19:42Z |
| institution | BVB |
| institution_GND | (DE-588)1130878449 |
| isbn | 9783319568409 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029692918 |
| oclc_num | 990016535 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | X, 257 Seiten Illustrationen |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | School on Engineering Trustworthy Software Systems 2. 2016 Chongqing Verfasser (DE-588)1130878449 aut Engineering trustworthy software systems second international school, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.) Cham Springer [2017] X, 257 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10215 Computer science Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Simulation and Modeling Special Purpose and Application-Based Systems Informatik (DE-588)1071861417 Konferenzschrift gnd-content Bowen, Jonathan P. 1956- (DE-588)122239318 edt Erscheint auch als Online-Ausgabe 978-3-319-56841-6 Lecture notes in computer science 10215 (DE-604)BV000000607 10215 |
| spellingShingle | Engineering trustworthy software systems second international school, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures Lecture notes in computer science Computer science Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Simulation and Modeling Special Purpose and Application-Based Systems Informatik |
| subject_GND | (DE-588)1071861417 |
| title | Engineering trustworthy software systems second international school, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures |
| title_auth | Engineering trustworthy software systems second international school, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures |
| title_exact_search | Engineering trustworthy software systems second international school, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures |
| title_full | Engineering trustworthy software systems second international school, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.) |
| title_fullStr | Engineering trustworthy software systems second international school, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.) |
| title_full_unstemmed | Engineering trustworthy software systems second international school, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.) |
| title_short | Engineering trustworthy software systems |
| title_sort | engineering trustworthy software systems second international school setss 2016 chongqing china march 28 april 2 2016 tutorial lectures |
| title_sub | second international school, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures |
| topic | Computer science Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Simulation and Modeling Special Purpose and Application-Based Systems Informatik |
| topic_facet | Computer science Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Simulation and Modeling Special Purpose and Application-Based Systems Informatik Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT schoolonengineeringtrustworthysoftwaresystemschongqing engineeringtrustworthysoftwaresystemssecondinternationalschoolsetss2016chongqingchinamarch28april22016tutoriallectures AT bowenjonathanp engineeringtrustworthysoftwaresystemssecondinternationalschoolsetss2016chongqingchinamarch28april22016tutoriallectures |