Foundations of software science and computation structures: 25th international conference FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2022]
|
| Schriftenreihe: | Lecture notes in computer science
13242 : Advanced research in computing and software science |
| Schlagworte: | |
| Beschreibung: | xvi, 471 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030992521 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV047948134 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 220421s2022 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030992521 |9 978-3-030-99252-1 | ||
| 035 | |a (OCoLC)1312696621 | ||
| 035 | |a (DE-599)BVBBV047948134 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a FOSSACS |n 25. |d 2022 |c München |j Verfasser |0 (DE-588)1255736127 |4 aut | |
| 245 | 1 | 0 | |a Foundations of software science and computation structures |b 25th international conference FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings |c Patricia Bouyer, Lutz Schröder (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2022] | |
| 300 | |a xvi, 471 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 13242 |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 2022 |z München |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 Bouyer, Patricia |4 edt | |
| 711 | 2 | |a ETAPS |n 25. |d 2022 |c München |0 (DE-588)1255726962 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-99253-8 |
| 830 | 0 | |a Lecture notes in computer science |v 13242 : Advanced research in computing and software science |w (DE-604)BV000000607 |9 13242 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033329531 | |
Datensatz im Suchindex
| _version_ | 1820875811037642752 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Bouyer, Patricia |
| author2_role | edt |
| author2_variant | p b pb |
| author_corporate | FOSSACS München |
| author_corporate_role | aut |
| author_facet | Bouyer, Patricia FOSSACS München |
| author_sort | FOSSACS München |
| building | Verbundindex |
| bvnumber | BV047948134 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1312696621 (DE-599)BVBBV047948134 |
| 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">BV047948134</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">220421s2022 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030992521</subfield><subfield code="9">978-3-030-99252-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1312696621</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047948134</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">25.</subfield><subfield code="d">2022</subfield><subfield code="c">München</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1255736127</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">25th international conference FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings</subfield><subfield code="c">Patricia Bouyer, Lutz Schröder (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xvi, 471 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">13242</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">2022</subfield><subfield code="z">München</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">Bouyer, Patricia</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">25.</subfield><subfield code="d">2022</subfield><subfield code="c">München</subfield><subfield code="0">(DE-588)1255726962</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-99253-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13242 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">13242</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033329531</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2022 München gnd-content |
| genre_facet | Konferenzschrift 2022 München |
| id | DE-604.BV047948134 |
| illustrated | Illustrated |
| index_date | 2024-07-03T19:37:03Z |
| indexdate | 2025-01-10T15:21:34Z |
| institution | BVB |
| institution_GND | (DE-588)1255736127 (DE-588)1255726962 |
| isbn | 9783030992521 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033329531 |
| oclc_num | 1312696621 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xvi, 471 Seiten Illustrationen, Diagramme |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| 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 25. 2022 München Verfasser (DE-588)1255736127 aut Foundations of software science and computation structures 25th international conference FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings Patricia Bouyer, Lutz Schröder (eds.) Cham Springer [2022] xvi, 471 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 13242 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 2022 München 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 Bouyer, Patricia edt ETAPS 25. 2022 München (DE-588)1255726962 oth Erscheint auch als Online-Ausgabe 978-3-030-99253-8 Lecture notes in computer science 13242 : Advanced research in computing and software science (DE-604)BV000000607 13242 |
| spellingShingle | Foundations of software science and computation structures 25th international conference FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : 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 25th international conference FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings |
| title_auth | Foundations of software science and computation structures 25th international conference FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings |
| title_exact_search | Foundations of software science and computation structures 25th international conference FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings |
| title_exact_search_txtP | Foundations of software science and computation structures 25th international conference FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings |
| title_full | Foundations of software science and computation structures 25th international conference FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings Patricia Bouyer, Lutz Schröder (eds.) |
| title_fullStr | Foundations of software science and computation structures 25th international conference FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings Patricia Bouyer, Lutz Schröder (eds.) |
| title_full_unstemmed | Foundations of software science and computation structures 25th international conference FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings Patricia Bouyer, Lutz Schröder (eds.) |
| title_short | Foundations of software science and computation structures |
| title_sort | foundations of software science and computation structures 25th international conference fossacs 2022 held as part of the european joint conferences on theory and practice of software etaps 2022 munich germany april 2 7 2022 proceedings |
| title_sub | 25th international conference FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : 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 2022 München |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fossacsmunchen foundationsofsoftwarescienceandcomputationstructures25thinternationalconferencefossacs2022heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022munichgermanyapril272022proceedings AT bouyerpatricia foundationsofsoftwarescienceandcomputationstructures25thinternationalconferencefossacs2022heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022munichgermanyapril272022proceedings AT etapsmunchen foundationsofsoftwarescienceandcomputationstructures25thinternationalconferencefossacs2022heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022munichgermanyapril272022proceedings |