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 / / editors, Patricia Bouyer, Lutz Schröder.
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Softwar...
Saved in:
| Superior document: | Lecture notes in computer science v.13242 |
|---|---|
| TeilnehmendeR: | |
| Year of Publication: | 2022 |
| Language: | English |
| Series: | Lecture notes in computer science
13242. |
| Physical Description: | 1 online resource (xvi, 471 pages) :; illustrations. |
| Notes: |
|
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
993544548604498 |
|---|---|
| ctrlnum |
(CKB)5860000000038014 EBL6942704 (AU-PeEL)EBL6942704 (MiAaPQ)EBC6942704 (oapen)https://directory.doabooks.org/handle/20.500.12854/81433 (PPN)261518232 (EXLCZ)995860000000038014 |
| collection |
bib_alma |
| record_format |
marc |
| spelling |
Bouyer, Patricia edt 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 / editors, Patricia Bouyer, Lutz Schröder. Cham : Springer International Publishing AG, 2022. 1 online resource (xvi, 471 pages) : illustrations. text txt rdacontent computer c rdamedia online resource cr rdacarrier Lecture notes in computer science v.13242 Includes author index. Description based upon print version of record. This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems English Computer software Congresses. Software engineering Congresses. Categorical models and logics language theory, automata, and games modal, spatial, and temporal logics type theory and proof theory concurrency theory and process calculi rewriting theory semantics of programming languages program analysis logics of programming software specification and refinement models of concurrent systems emerging models of computation logical aspects of computational complexity correctness, transformation, and verification models of software security Bouyer, Patricia, 1976- 3-030-99252-7 Schröder, Lutz. Lecture notes in computer science 13242. |
| language |
English |
| format |
eBook |
| author2 |
Bouyer, Patricia, 1976- Schröder, Lutz. |
| author_facet |
Bouyer, Patricia, 1976- Schröder, Lutz. |
| author2_variant |
p b pb p b pb l s ls |
| author2_role |
TeilnehmendeR TeilnehmendeR |
| author_sort |
Bouyer, Patricia, 1976- |
| 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 / |
| 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 |
| 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 / |
| 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 / editors, Patricia Bouyer, Lutz Schröder. |
| 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 / editors, Patricia Bouyer, Lutz Schröder. |
| 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 / editors, Patricia Bouyer, Lutz Schröder. |
| 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_new |
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 / |
| series |
Lecture notes in computer science |
| series2 |
Lecture notes in computer science |
| publisher |
Springer International Publishing AG, |
| publishDate |
2022 |
| physical |
1 online resource (xvi, 471 pages) : illustrations. |
| isbn |
3-030-99253-5 3-030-99252-7 |
| callnumber-first |
Q - Science |
| callnumber-subject |
QA - Mathematics |
| callnumber-label |
QA75 |
| callnumber-sort |
QA 275.5 276.95 |
| genre_facet |
Congresses. |
| illustrated |
Illustrated |
| work_keys_str_mv |
AT bouyerpatricia foundationsofsoftwarescienceandcomputationstructures25thinternationalconferencefossacs2022heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022munichgermanyapril272022proceedings AT schroderlutz foundationsofsoftwarescienceandcomputationstructures25thinternationalconferencefossacs2022heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022munichgermanyapril272022proceedings |
| status_str |
n |
| ids_txt_mv |
(CKB)5860000000038014 EBL6942704 (AU-PeEL)EBL6942704 (MiAaPQ)EBC6942704 (oapen)https://directory.doabooks.org/handle/20.500.12854/81433 (PPN)261518232 (EXLCZ)995860000000038014 |
| carrierType_str_mv |
cr |
| hierarchy_parent_title |
Lecture notes in computer science v.13242 |
| hierarchy_sequence |
13242. |
| is_hierarchy_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 / |
| container_title |
Lecture notes in computer science v.13242 |
| author2_original_writing_str_mv |
noLinkedField noLinkedField |
| _version_ |
1796651979298045953 |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02969nam a22006133u 4500</leader><controlfield tag="001">993544548604498</controlfield><controlfield tag="005">20230221131535.0</controlfield><controlfield tag="006">m d </controlfield><controlfield tag="007">cr#|n|---|||||</controlfield><controlfield tag="008">220617s2022||||sz a o 101|0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-030-99253-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5860000000038014</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">EBL6942704</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AU-PeEL)EBL6942704</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC6942704</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/81433</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PPN)261518232</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995860000000038014</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">AU-PeEL</subfield><subfield code="b">eng</subfield><subfield code="c">AU-PeEL</subfield><subfield code="d">AU-PeEL</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA75.5-76.95</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bouyer, Patricia</subfield><subfield code="4">edt</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">editors, Patricia Bouyer, Lutz Schröder.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cham :</subfield><subfield code="b">Springer International Publishing AG,</subfield><subfield code="c">2022.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xvi, 471 pages) :</subfield><subfield code="b">illustrations.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</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">v.13242</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes author index.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based upon print version of record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Software engineering</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Categorical models and logics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">language theory, automata, and games</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">modal, spatial, and temporal logics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">type theory and proof theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">concurrency theory and process calculi</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">rewriting theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">semantics of programming languages</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">program analysis</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logics of programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software specification and refinement</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">models of concurrent systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">emerging models of computation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logical aspects of computational complexity</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">correctness, transformation, and verification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">models of software security</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bouyer, Patricia,</subfield><subfield code="d">1976-</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">3-030-99252-7</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schröder, Lutz.</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13242.</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-05-20 09:44:48 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2022-04-04 09:22:53 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5337667140004498&Force_direct=true</subfield><subfield code="Z">5337667140004498</subfield><subfield code="b">Available</subfield><subfield code="8">5337667140004498</subfield></datafield></record></collection> |