Foundations of software science and computation structures: 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere beteiligte Personen: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cham, Switzerland
Springer
[2023]
|
| Schriftenreihe: | Lecture notes in computer science
13992 : ARCoSS |
| Schlagwörter: | |
| Umfang: | xiv, 562 Seiten Diagramme |
| ISBN: | 9783031308284 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049097789 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 230811s2023 xx |||| |||| 10||| eng d | ||
| 020 | |a 9783031308284 |9 978-3-031-30828-4 | ||
| 035 | |a (OCoLC)1401198001 | ||
| 035 | |a (DE-599)BVBBV049097789 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 111 | 2 | |a FOSSACS |n 26. |d 2023 |c Paris |j Verfasser |0 (DE-588)1292697091 |4 aut | |
| 245 | 1 | 0 | |a Foundations of software science and computation structures |b 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings |c Orna Kupferman, Pawel Sobocinski, editors |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2023] | |
| 264 | 4 | |c © 2023 | |
| 300 | |a xiv, 562 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 13992 |a ARCoSS | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 22.04.2023-27.04.2023 |z Paris |2 gnd-content | |
| 700 | 1 | |a Kupferman, Orna |4 edt | |
| 700 | 1 | |a Sobocinski, Pawel |4 edt | |
| 711 | 2 | |a ETAPS |n 26. |d 2023 |c Paris |j Verfasser |0 (DE-588)1292624000 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-30829-1 |
| 830 | 0 | |a Lecture notes in computer science |v 13992 : ARCoSS |w (DE-604)BV000000607 |9 13992 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034359372 | |
Datensatz im Suchindex
| _version_ | 1820980768262848512 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Kupferman, Orna Sobocinski, Pawel |
| author2_role | edt edt |
| author2_variant | o k ok p s ps |
| author_corporate | FOSSACS Paris ETAPS |
| author_corporate_role | aut aut |
| author_facet | Kupferman, Orna Sobocinski, Pawel FOSSACS Paris ETAPS |
| author_sort | FOSSACS Paris |
| building | Verbundindex |
| bvnumber | BV049097789 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1401198001 (DE-599)BVBBV049097789 |
| 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 a2200000zcb4500</leader><controlfield tag="001">BV049097789</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">230811s2023 xx |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031308284</subfield><subfield code="9">978-3-031-30828-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1401198001</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049097789</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">26.</subfield><subfield code="d">2023</subfield><subfield code="c">Paris</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1292697091</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">26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings</subfield><subfield code="c">Orna Kupferman, Pawel Sobocinski, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2023]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 562 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">13992</subfield><subfield code="a">ARCoSS</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">22.04.2023-27.04.2023</subfield><subfield code="z">Paris</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kupferman, Orna</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sobocinski, Pawel</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">26.</subfield><subfield code="d">2023</subfield><subfield code="c">Paris</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1292624000</subfield><subfield code="4">aut</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-031-30829-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13992 : ARCoSS</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">13992</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034359372</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 22.04.2023-27.04.2023 Paris gnd-content |
| genre_facet | Konferenzschrift 22.04.2023-27.04.2023 Paris |
| id | DE-604.BV049097789 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-11T19:09:49Z |
| institution | BVB |
| institution_GND | (DE-588)1292697091 (DE-588)1292624000 |
| isbn | 9783031308284 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034359372 |
| oclc_num | 1401198001 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xiv, 562 Seiten Diagramme |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science ARCoSS |
| spelling | FOSSACS 26. 2023 Paris Verfasser (DE-588)1292697091 aut Foundations of software science and computation structures 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings Orna Kupferman, Pawel Sobocinski, editors Cham, Switzerland Springer [2023] © 2023 xiv, 562 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 13992 ARCoSS (DE-588)1071861417 Konferenzschrift 22.04.2023-27.04.2023 Paris gnd-content Kupferman, Orna edt Sobocinski, Pawel edt ETAPS 26. 2023 Paris Verfasser (DE-588)1292624000 aut Erscheint auch als Online-Ausgabe 978-3-031-30829-1 Lecture notes in computer science 13992 : ARCoSS (DE-604)BV000000607 13992 |
| spellingShingle | Foundations of software science and computation structures 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings Lecture notes in computer science |
| subject_GND | (DE-588)1071861417 |
| title | Foundations of software science and computation structures 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings |
| title_auth | Foundations of software science and computation structures 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings |
| title_exact_search | Foundations of software science and computation structures 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings |
| title_full | Foundations of software science and computation structures 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings Orna Kupferman, Pawel Sobocinski, editors |
| title_fullStr | Foundations of software science and computation structures 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings Orna Kupferman, Pawel Sobocinski, editors |
| title_full_unstemmed | Foundations of software science and computation structures 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings Orna Kupferman, Pawel Sobocinski, editors |
| title_short | Foundations of software science and computation structures |
| title_sort | foundations of software science and computation structures 26th international conference fossacs 2023 held as part of the european joint conferences on theory and practice of software etaps 2023 paris france april 22 27 2023 proceedings |
| title_sub | 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings |
| topic_facet | Konferenzschrift 22.04.2023-27.04.2023 Paris |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fossacsparis foundationsofsoftwarescienceandcomputationstructures26thinternationalconferencefossacs2023heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2023parisfranceapril22272023proceedings AT kupfermanorna foundationsofsoftwarescienceandcomputationstructures26thinternationalconferencefossacs2023heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2023parisfranceapril22272023proceedings AT sobocinskipawel foundationsofsoftwarescienceandcomputationstructures26thinternationalconferencefossacs2023heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2023parisfranceapril22272023proceedings AT etapsparis foundationsofsoftwarescienceandcomputationstructures26thinternationalconferencefossacs2023heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2023parisfranceapril22272023proceedings |