Foundations of software science and computation structures: 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere beteiligte Personen: | |
| Format: | Tagungsbericht Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cham
Springer
[2019]
|
| Schriftenreihe: | Lecture notes in computer science
11425 : Advanced research in computing and software science |
| Schlagwörter: | |
| Umfang: | xv, 542 Seiten Diagramme |
| ISBN: | 9783030171261 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV045678292 | ||
| 003 | DE-604 | ||
| 005 | 20200407 | ||
| 007 | t| | ||
| 008 | 190429s2019 xx |||| |||| 10||| eng d | ||
| 020 | |a 9783030171261 |9 978-3-030-17126-1 | ||
| 035 | |a (OCoLC)1099894729 | ||
| 035 | |a (DE-599)BVBBV045678292 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a FOSSACS |n 22. |d 2019 |c Prag |j Verfasser |0 (DE-588)1184831246 |4 aut | |
| 245 | 1 | 0 | |a Foundations of software science and computation structures |b 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings |c Mikołaj Bojańczyk, Alex Simpson (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2019] | |
| 300 | |a xv, 542 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 11425 |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 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 |y 2019 |z Prag |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 Bojańczyk, Mikołaj |0 (DE-588)1207878901 |4 edt | |
| 711 | 2 | |a ETAPS |n 22. |d 2019 |c Prag |0 (DE-588)1183926626 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-17127-8 |w (DE-604)BV045860457 |
| 830 | 0 | |a Lecture notes in computer science |v 11425 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 11425 | |
| 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-031061812 | |
Datensatz im Suchindex
| _version_ | 1820980705595752448 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Bojańczyk, Mikołaj |
| author2_role | edt |
| author2_variant | m b mb |
| author_GND | (DE-588)1207878901 |
| author_corporate | FOSSACS Prag |
| author_corporate_role | aut |
| author_facet | Bojańczyk, Mikołaj FOSSACS Prag |
| author_sort | FOSSACS Prag |
| building | Verbundindex |
| bvnumber | BV045678292 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1099894729 (DE-599)BVBBV045678292 |
| 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">BV045678292</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200407</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">190429s2019 xx |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030171261</subfield><subfield code="9">978-3-030-17126-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1099894729</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045678292</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">22.</subfield><subfield code="d">2019</subfield><subfield code="c">Prag</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1184831246</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">22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings</subfield><subfield code="c">Mikołaj Bojańczyk, Alex Simpson (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 542 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">11425</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">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="y">2019</subfield><subfield code="z">Prag</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">Bojańczyk, Mikołaj</subfield><subfield code="0">(DE-588)1207878901</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">22.</subfield><subfield code="d">2019</subfield><subfield code="c">Prag</subfield><subfield code="0">(DE-588)1183926626</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-17127-8</subfield><subfield code="w">(DE-604)BV045860457</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11425 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">11425</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-031061812</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2019 Prag gnd-content |
| genre_facet | Konferenzschrift 2019 Prag |
| id | DE-604.BV045678292 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-11T19:08:49Z |
| institution | BVB |
| institution_GND | (DE-588)1184831246 (DE-588)1183926626 |
| isbn | 9783030171261 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031061812 |
| oclc_num | 1099894729 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xv, 542 Seiten Diagramme |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| 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 22. 2019 Prag Verfasser (DE-588)1184831246 aut Foundations of software science and computation structures 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Mikołaj Bojańczyk, Alex Simpson (eds.) Cham Springer [2019] xv, 542 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 11425 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 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 2019 Prag 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 Bojańczyk, Mikołaj (DE-588)1207878901 edt ETAPS 22. 2019 Prag (DE-588)1183926626 oth Erscheint auch als Online-Ausgabe 978-3-030-17127-8 (DE-604)BV045860457 Lecture notes in computer science 11425 : Advanced research in computing and software science (DE-604)BV000000607 11425 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 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : 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 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings |
| title_auth | Foundations of software science and computation structures 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings |
| title_exact_search | Foundations of software science and computation structures 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings |
| title_full | Foundations of software science and computation structures 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Mikołaj Bojańczyk, Alex Simpson (eds.) |
| title_fullStr | Foundations of software science and computation structures 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Mikołaj Bojańczyk, Alex Simpson (eds.) |
| title_full_unstemmed | Foundations of software science and computation structures 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Mikołaj Bojańczyk, Alex Simpson (eds.) |
| title_short | Foundations of software science and computation structures |
| title_sort | foundations of software science and computation structures 22nd international conference fossacs 2019 held as part of the european joint conferences on theory and practice of software etaps 2019 prague czech republic april 6 11 2019 proceedings |
| title_sub | 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : 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 2019 Prag |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fossacsprag foundationsofsoftwarescienceandcomputationstructures22ndinternationalconferencefossacs2019heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2019pragueczechrepublicapril6112019proceedings AT bojanczykmikołaj foundationsofsoftwarescienceandcomputationstructures22ndinternationalconferencefossacs2019heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2019pragueczechrepublicapril6112019proceedings AT etapsprag foundationsofsoftwarescienceandcomputationstructures22ndinternationalconferencefossacs2019heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2019pragueczechrepublicapril6112019proceedings |