Foundations of software science and computation structures: 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2018]
|
| Schriftenreihe: | Lecture notes in computer science
10803 |
| Schlagworte: | |
| Beschreibung: | XV, 582 Seiten Diagramme |
| ISBN: | 9783319893655 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV044922873 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 180426s2018 xx |||| |||| 10||| eng d | ||
| 020 | |a 9783319893655 |c print |9 978-3-319-89365-5 | ||
| 035 | |a (OCoLC)1032686484 | ||
| 035 | |a (DE-599)BVBBV044922873 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a ETAPS |n 21. |d 2018 |c Thessaloniki |0 (DE-588)115647065X |4 oth | |
| 245 | 1 | 0 | |a Foundations of software science and computation structures |b 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings |c Christel Baier, Ugo Dal Lago (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2018] | |
| 300 | |a XV, 582 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 10803 | |
| 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 Mathematische Logik |0 (DE-588)4037951-6 |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 Softwarewissenschaft |0 (DE-588)4502639-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |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 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 | |a Softwarewissenschaft |0 (DE-588)4502639-7 |D s |
| 689 | 0 | 6 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 1 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Baier, Christel |0 (DE-588)12400301X |4 edt | |
| 711 | 2 | |a FOSSACS |n 21. |d 2018 |c Thessaloniki |0 (DE-588)1156758556 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-89366-2 |
| 830 | 0 | |a Lecture notes in computer science |v 10803 |w (DE-604)BV000000607 |9 10803 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\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-030316119 | |
Datensatz im Suchindex
| _version_ | 1820875715325722624 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Baier, Christel |
| author2_role | edt |
| author2_variant | c b cb |
| author_GND | (DE-588)12400301X |
| author_facet | Baier, Christel |
| building | Verbundindex |
| bvnumber | BV044922873 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1032686484 (DE-599)BVBBV044922873 |
| 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">BV044922873</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">180426s2018 xx |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319893655</subfield><subfield code="c">print</subfield><subfield code="9">978-3-319-89365-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1032686484</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044922873</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">21.</subfield><subfield code="d">2018</subfield><subfield code="c">Thessaloniki</subfield><subfield code="0">(DE-588)115647065X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of software science and computation structures</subfield><subfield code="b">21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings</subfield><subfield code="c">Christel Baier, Ugo Dal Lago (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2018]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 582 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">10803</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Softwarewissenschaft</subfield><subfield code="0">(DE-588)4502639-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">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="5"><subfield code="a">Softwarewissenschaft</subfield><subfield code="0">(DE-588)4502639-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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="689" ind1="1" 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="1" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Baier, Christel</subfield><subfield code="0">(DE-588)12400301X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FOSSACS</subfield><subfield code="n">21.</subfield><subfield code="d">2018</subfield><subfield code="c">Thessaloniki</subfield><subfield code="0">(DE-588)1156758556</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-319-89366-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10803</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10803</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="883" ind1="1" ind2=" "><subfield code="8">2\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-030316119</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044922873 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:20:03Z |
| institution | BVB |
| institution_GND | (DE-588)115647065X (DE-588)1156758556 |
| isbn | 9783319893655 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030316119 |
| oclc_num | 1032686484 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XV, 582 Seiten Diagramme |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | ETAPS 21. 2018 Thessaloniki (DE-588)115647065X oth Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings Christel Baier, Ugo Dal Lago (eds.) Cham Springer [2018] XV, 582 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10803 Formale Methode (DE-588)4333722-3 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Softwarewissenschaft (DE-588)4502639-7 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 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 Softwarewissenschaft (DE-588)4502639-7 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Programmierung (DE-588)4076370-5 s 2\p DE-604 Baier, Christel (DE-588)12400301X edt FOSSACS 21. 2018 Thessaloniki (DE-588)1156758556 oth Erscheint auch als Online-Ausgabe 978-3-319-89366-2 Lecture notes in computer science 10803 (DE-604)BV000000607 10803 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Programmierlogik (DE-588)4047408-2 gnd Software Engineering (DE-588)4116521-4 gnd Softwarewissenschaft (DE-588)4502639-7 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4196735-5 (DE-588)4037951-6 (DE-588)4047408-2 (DE-588)4116521-4 (DE-588)4502639-7 (DE-588)4076370-5 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings |
| title_auth | Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings |
| title_exact_search | Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings |
| title_full | Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings Christel Baier, Ugo Dal Lago (eds.) |
| title_fullStr | Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings Christel Baier, Ugo Dal Lago (eds.) |
| title_full_unstemmed | Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings Christel Baier, Ugo Dal Lago (eds.) |
| title_short | Foundations of software science and computation structures |
| title_sort | foundations of software science and computation structures 21st international conference fossacs 2018 held as part of the european joint conferences on theory and practice of software etaps 2018 thessaloniki greece april 14 20 2018 proceedings |
| title_sub | 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Programmierlogik (DE-588)4047408-2 gnd Software Engineering (DE-588)4116521-4 gnd Softwarewissenschaft (DE-588)4502639-7 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Formale Methode Theoretische Informatik Mathematische Logik Programmierlogik Software Engineering Softwarewissenschaft Programmierung Programmiersprache Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT etapsthessaloniki foundationsofsoftwarescienceandcomputationstructures21stinternationalconferencefossacs2018heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2018thessalonikigreeceapril14202018proceedings AT baierchristel foundationsofsoftwarescienceandcomputationstructures21stinternationalconferencefossacs2018heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2018thessalonikigreeceapril14202018proceedings AT fossacsthessaloniki foundationsofsoftwarescienceandcomputationstructures21stinternationalconferencefossacs2018heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2018thessalonikigreeceapril14202018proceedings |