Programming languages and systems: 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017 Uppsala, Sweden, April 22-29, 2017 : proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2017]
|
| Schriftenreihe: | Lecture notes in computer science
10201 |
| Schlagworte: | |
| Beschreibung: | XV, 992 Seiten Diagramme |
| ISBN: | 9783662544334 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV044263163 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 170406s2017 xx |||| |||| 10||| eng d | ||
| 020 | |a 9783662544334 |c print |9 978-3-662-54433-4 | ||
| 035 | |a (OCoLC)972165222 | ||
| 035 | |a (DE-599)BVBBV044263163 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a ETAPS |n 20. |d 2017 |c Uppsala |0 (DE-588)1129371344 |4 oth | |
| 245 | 1 | 0 | |a Programming languages and systems |b 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017 Uppsala, Sweden, April 22-29, 2017 : proceedings |c Hongseok Yang (ed.) |
| 264 | 1 | |a Cham |b Springer |c [2017] | |
| 300 | |a XV, 992 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 10201 | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Typsystem |0 (DE-588)4625224-1 |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 |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Typsystem |0 (DE-588)4625224-1 |D s |
| 689 | 0 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 1 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 1 | 2 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Yang, Hongseok |4 edt | |
| 711 | 2 | |a ESOP |n 26. |d 2017 |c Uppsala |0 (DE-588)1129370984 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-662-54434-1 |
| 830 | 0 | |a Lecture notes in computer science |v 10201 |w (DE-604)BV000000607 |9 10201 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029668028 | |
Datensatz im Suchindex
| _version_ | 1820875693648510976 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Yang, Hongseok |
| author2_role | edt |
| author2_variant | h y hy |
| author_facet | Yang, Hongseok |
| building | Verbundindex |
| bvnumber | BV044263163 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)972165222 (DE-599)BVBBV044263163 |
| 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 a2200000 cb4500</leader><controlfield tag="001">BV044263163</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">170406s2017 xx |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662544334</subfield><subfield code="c">print</subfield><subfield code="9">978-3-662-54433-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)972165222</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044263163</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">ETAPS</subfield><subfield code="n">20.</subfield><subfield code="d">2017</subfield><subfield code="c">Uppsala</subfield><subfield code="0">(DE-588)1129371344</subfield><subfield code="4">oth</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming languages and systems</subfield><subfield code="b">26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017 Uppsala, Sweden, April 22-29, 2017 : proceedings</subfield><subfield code="c">Hongseok Yang (ed.)</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">XV, 992 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">10201</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">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Typsystem</subfield><subfield code="0">(DE-588)4625224-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yang, Hongseok</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ESOP</subfield><subfield code="n">26.</subfield><subfield code="d">2017</subfield><subfield code="c">Uppsala</subfield><subfield code="0">(DE-588)1129370984</subfield><subfield code="4">oth</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-662-54434-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10201</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10201</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029668028</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044263163 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:19:42Z |
| institution | BVB |
| institution_GND | (DE-588)1129371344 (DE-588)1129370984 |
| isbn | 9783662544334 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029668028 |
| oclc_num | 972165222 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XV, 992 Seiten Diagramme |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | ETAPS 20. 2017 Uppsala (DE-588)1129371344 oth Programming languages and systems 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017 Uppsala, Sweden, April 22-29, 2017 : proceedings Hongseok Yang (ed.) Cham Springer [2017] XV, 992 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10201 Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Typsystem (DE-588)4625224-1 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Programmiersprache (DE-588)4047409-4 s Typsystem (DE-588)4625224-1 s Formale Methode (DE-588)4333722-3 s DE-604 Programmverifikation (DE-588)4135576-3 s Programmanalyse (DE-588)4175841-9 s Nebenläufigkeit (DE-588)4115352-2 s Yang, Hongseok edt ESOP 26. 2017 Uppsala (DE-588)1129370984 oth Erscheint auch als Online-Ausgabe 978-3-662-54434-1 Lecture notes in computer science 10201 (DE-604)BV000000607 10201 |
| spellingShingle | Programming languages and systems 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017 Uppsala, Sweden, April 22-29, 2017 : proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Typsystem (DE-588)4625224-1 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4135576-3 (DE-588)4115352-2 (DE-588)4625224-1 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Programming languages and systems 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017 Uppsala, Sweden, April 22-29, 2017 : proceedings |
| title_auth | Programming languages and systems 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017 Uppsala, Sweden, April 22-29, 2017 : proceedings |
| title_exact_search | Programming languages and systems 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017 Uppsala, Sweden, April 22-29, 2017 : proceedings |
| title_full | Programming languages and systems 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017 Uppsala, Sweden, April 22-29, 2017 : proceedings Hongseok Yang (ed.) |
| title_fullStr | Programming languages and systems 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017 Uppsala, Sweden, April 22-29, 2017 : proceedings Hongseok Yang (ed.) |
| title_full_unstemmed | Programming languages and systems 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017 Uppsala, Sweden, April 22-29, 2017 : proceedings Hongseok Yang (ed.) |
| title_short | Programming languages and systems |
| title_sort | programming languages and systems 26th european symposium on programming esop 2017 held as part of the european joint conferences on theory and practice of software etaps 2017 uppsala sweden april 22 29 2017 proceedings |
| title_sub | 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017 Uppsala, Sweden, April 22-29, 2017 : proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Typsystem (DE-588)4625224-1 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Formale Methode Programmanalyse Programmverifikation Nebenläufigkeit Typsystem Programmiersprache Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT etapsuppsala programminglanguagesandsystems26theuropeansymposiumonprogrammingesop2017heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2017uppsalaswedenapril22292017proceedings AT yanghongseok programminglanguagesandsystems26theuropeansymposiumonprogrammingesop2017heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2017uppsalaswedenapril22292017proceedings AT esopuppsala programminglanguagesandsystems26theuropeansymposiumonprogrammingesop2017heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2017uppsalaswedenapril22292017proceedings |