Programming languages and systems: 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer Open
[2020]
|
| Schriftenreihe: | Lecture notes in computer science
12075 : Advanced research in computing and software science |
| Schlagworte: | |
| Beschreibung: | xv, 772 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030449131 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV046778256 | ||
| 003 | DE-604 | ||
| 005 | 20210525 | ||
| 007 | t| | ||
| 008 | 200624s2020 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030449131 |9 978-3-030-44913-1 | ||
| 035 | |a (OCoLC)1164642809 | ||
| 035 | |a (DE-599)BVBBV046778256 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a ESOP |n 29. |d 2020 |c Online |j Verfasser |0 (DE-588)1212523164 |4 aut | |
| 245 | 1 | 0 | |a Programming languages and systems |b 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings |c Peter Müller (ed.) |
| 264 | 1 | |a Cham |b Springer Open |c [2020] | |
| 300 | |a xv, 772 Seiten |b Illustrationen, 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 12075 |a Advanced research in computing and software science | |
| 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 |y 2020 |z Online |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 Müller, Peter |4 edt | |
| 711 | 2 | |a ETAPS |n 23. |d 2020 |c Online |0 (DE-588)1212463536 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-44914-8 |
| 830 | 0 | |a Lecture notes in computer science |v 12075 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 12075 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032187512 | |
Datensatz im Suchindex
| _version_ | 1820875766484697088 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Müller, Peter |
| author2_role | edt |
| author2_variant | p m pm |
| author_corporate | ESOP Online |
| author_corporate_role | aut |
| author_facet | Müller, Peter ESOP Online |
| author_sort | ESOP Online |
| building | Verbundindex |
| bvnumber | BV046778256 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1164642809 (DE-599)BVBBV046778256 |
| discipline | Informatik |
| discipline_str_mv | 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">BV046778256</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210525</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">200624s2020 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030449131</subfield><subfield code="9">978-3-030-44913-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1164642809</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046778256</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">ESOP</subfield><subfield code="n">29.</subfield><subfield code="d">2020</subfield><subfield code="c">Online</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1212523164</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming languages and systems</subfield><subfield code="b">29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings</subfield><subfield code="c">Peter Müller (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer Open</subfield><subfield code="c">[2020]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 772 Seiten</subfield><subfield code="b">Illustrationen, 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">12075</subfield><subfield code="a">Advanced research in computing and software science</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="y">2020</subfield><subfield code="z">Online</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">Müller, Peter</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">23.</subfield><subfield code="d">2020</subfield><subfield code="c">Online</subfield><subfield code="0">(DE-588)1212463536</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-030-44914-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">12075 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">12075</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032187512</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2020 Online gnd-content |
| genre_facet | Konferenzschrift 2020 Online |
| id | DE-604.BV046778256 |
| illustrated | Illustrated |
| index_date | 2024-07-03T14:49:06Z |
| indexdate | 2025-01-10T15:20:51Z |
| institution | BVB |
| institution_GND | (DE-588)1212523164 (DE-588)1212463536 |
| isbn | 9783030449131 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032187512 |
| oclc_num | 1164642809 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xv, 772 Seiten Illustrationen, Diagramme |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Springer Open |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science Advanced research in computing and software science |
| spelling | ESOP 29. 2020 Online Verfasser (DE-588)1212523164 aut Programming languages and systems 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings Peter Müller (ed.) Cham Springer Open [2020] xv, 772 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 12075 Advanced research in computing and software science 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 2020 Online 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 Müller, Peter edt ETAPS 23. 2020 Online (DE-588)1212463536 oth Erscheint auch als Online-Ausgabe 978-3-030-44914-8 Lecture notes in computer science 12075 : Advanced research in computing and software science (DE-604)BV000000607 12075 |
| spellingShingle | Programming languages and systems 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : 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 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings |
| title_auth | Programming languages and systems 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings |
| title_exact_search | Programming languages and systems 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings |
| title_exact_search_txtP | Programming languages and systems 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings |
| title_full | Programming languages and systems 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings Peter Müller (ed.) |
| title_fullStr | Programming languages and systems 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings Peter Müller (ed.) |
| title_full_unstemmed | Programming languages and systems 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings Peter Müller (ed.) |
| title_short | Programming languages and systems |
| title_sort | programming languages and systems 29th european symposium on programming esop 2020 held as part of the european joint conferences on theory and practice of software etaps 2020 dublin ireland april 25 30 2020 proceedings |
| title_sub | 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : 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 2020 Online |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT esoponline programminglanguagesandsystems29theuropeansymposiumonprogrammingesop2020heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2020dublinirelandapril25302020proceedings AT mullerpeter programminglanguagesandsystems29theuropeansymposiumonprogrammingesop2020heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2020dublinirelandapril25302020proceedings AT etapsonline programminglanguagesandsystems29theuropeansymposiumonprogrammingesop2020heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2020dublinirelandapril25302020proceedings |