Foundations of software science and computation structures: 23rd international conference FOSSACS 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
[2020]
|
| Schriftenreihe: | Lecture notes in computer science
12077 : Advanced research in computing and software science |
| Schlagworte: | |
| Beschreibung: | xv, 644 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030452308 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV046776908 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 200623s2020 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030452308 |9 978-3-030-45230-8 | ||
| 035 | |a (OCoLC)1164655897 | ||
| 035 | |a (DE-599)BVBBV046776908 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a FOSSACS |n 23. |d 2020 |c Online |j Verfasser |0 (DE-588)1212463382 |4 aut | |
| 245 | 1 | 0 | |a Foundations of software science and computation structures |b 23rd international conference FOSSACS 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 Jean Goubault-Larrecq, Barbara König (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2020] | |
| 300 | |a xv, 644 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 12077 |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 Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |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 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 Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 2 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 3 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 0 | 4 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Goubault-Larrecq, Jean |0 (DE-588)1034402358 |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-45231-5 |
| 830 | 0 | |a Lecture notes in computer science |v 12077 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 12077 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032186192 | |
Datensatz im Suchindex
| _version_ | 1820875766492037120 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Goubault-Larrecq, Jean |
| author2_role | edt |
| author2_variant | j g l jgl |
| author_GND | (DE-588)1034402358 |
| author_corporate | FOSSACS Online |
| author_corporate_role | aut |
| author_facet | Goubault-Larrecq, Jean FOSSACS Online |
| author_sort | FOSSACS Online |
| building | Verbundindex |
| bvnumber | BV046776908 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1164655897 (DE-599)BVBBV046776908 |
| 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">BV046776908</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">200623s2020 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030452308</subfield><subfield code="9">978-3-030-45230-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1164655897</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046776908</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">FOSSACS</subfield><subfield code="n">23.</subfield><subfield code="d">2020</subfield><subfield code="c">Online</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1212463382</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of software science and computation structures</subfield><subfield code="b">23rd international conference FOSSACS 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">Jean Goubault-Larrecq, Barbara König (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2020]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 644 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">12077</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</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">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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><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="3"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><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="700" ind1="1" ind2=" "><subfield code="a">Goubault-Larrecq, Jean</subfield><subfield code="0">(DE-588)1034402358</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-45231-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">12077 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">12077</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032186192</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2020 Online gnd-content |
| genre_facet | Konferenzschrift 2020 Online |
| id | DE-604.BV046776908 |
| illustrated | Illustrated |
| index_date | 2024-07-03T14:48:39Z |
| indexdate | 2025-01-10T15:20:51Z |
| institution | BVB |
| institution_GND | (DE-588)1212463382 (DE-588)1212463536 |
| isbn | 9783030452308 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032186192 |
| oclc_num | 1164655897 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xv, 644 Seiten Illustrationen, Diagramme |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science Advanced research in computing and software science |
| spelling | FOSSACS 23. 2020 Online Verfasser (DE-588)1212463382 aut Foundations of software science and computation structures 23rd international conference FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings Jean Goubault-Larrecq, Barbara König (eds.) Cham Springer [2020] xv, 644 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 12077 Advanced research in computing and software science Formale Methode (DE-588)4333722-3 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2020 Online gnd-content Theoretische Informatik (DE-588)4196735-5 s Software Engineering (DE-588)4116521-4 s Programmiersprache (DE-588)4047409-4 s Programmierlogik (DE-588)4047408-2 s Formale Methode (DE-588)4333722-3 s DE-604 Goubault-Larrecq, Jean (DE-588)1034402358 edt ETAPS 23. 2020 Online (DE-588)1212463536 oth Erscheint auch als Online-Ausgabe 978-3-030-45231-5 Lecture notes in computer science 12077 : Advanced research in computing and software science (DE-604)BV000000607 12077 |
| spellingShingle | Foundations of software science and computation structures 23rd international conference FOSSACS 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 Theoretische Informatik (DE-588)4196735-5 gnd Programmierlogik (DE-588)4047408-2 gnd Software Engineering (DE-588)4116521-4 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4196735-5 (DE-588)4047408-2 (DE-588)4116521-4 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Foundations of software science and computation structures 23rd international conference FOSSACS 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 | Foundations of software science and computation structures 23rd international conference FOSSACS 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 | Foundations of software science and computation structures 23rd international conference FOSSACS 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 | Foundations of software science and computation structures 23rd international conference FOSSACS 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 | Foundations of software science and computation structures 23rd international conference FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings Jean Goubault-Larrecq, Barbara König (eds.) |
| title_fullStr | Foundations of software science and computation structures 23rd international conference FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings Jean Goubault-Larrecq, Barbara König (eds.) |
| title_full_unstemmed | Foundations of software science and computation structures 23rd international conference FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings Jean Goubault-Larrecq, Barbara König (eds.) |
| title_short | Foundations of software science and computation structures |
| title_sort | foundations of software science and computation structures 23rd international conference fossacs 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 | 23rd international conference FOSSACS 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 Theoretische Informatik (DE-588)4196735-5 gnd Programmierlogik (DE-588)4047408-2 gnd Software Engineering (DE-588)4116521-4 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Formale Methode Theoretische Informatik Programmierlogik Software Engineering Programmiersprache Konferenzschrift 2020 Online |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fossacsonline foundationsofsoftwarescienceandcomputationstructures23rdinternationalconferencefossacs2020heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2020dublinirelandapril25302020proceedings AT goubaultlarrecqjean foundationsofsoftwarescienceandcomputationstructures23rdinternationalconferencefossacs2020heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2020dublinirelandapril25302020proceedings AT etapsonline foundationsofsoftwarescienceandcomputationstructures23rdinternationalconferencefossacs2020heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2020dublinirelandapril25302020proceedings |