Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Sof...
Shranjeno v:
| Format: | Online |
|---|---|
| Jezik: | angleščina |
| Izdano: |
Springer Nature
2025
|
| Teme: | |
| Online dostop: | ONIX_20250513_9783031908972_18 |
| Oznake: |
Brez oznak, prvi označite!
|
| _version_ | 1869527589567070208 |
|---|---|
| collection | Directory of Open Access Books |
| description | This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025. The 19 papers included in these proceedings were carefully reviewed and selected from 58 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. |
| format | Online |
| id | doab-20.500.12854ir-159429 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2025 |
| publishDateRange | 2025 |
| publishDateSort | 2025 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1594292025-05-14T04:09:37Z Foundations of Software Science and Computation Structures Abdulla, Parosh Aziz Kesner, Delia program analysis categorical models and logics language theory, automata, and games concurrency theory modal, spatial, and temporal logics logics of programming software specification and refinement emerging models of computation models of software security logical aspects of computational complexity This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025. The 19 papers included in these proceedings were carefully reviewed and selected from 58 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. 2025-05-14T04:09:36Z 2025-05-14T04:09:36Z 2025-05-13T08:24:33Z 2025 book ONIX_20250513_9783031908972_18 https://library.oapen.org/handle/20.500.12657/101666 9783031908972 9783031908965 https://directory.doabooks.org/handle/20.500.12854/159429 eng Lecture Notes in Computer Science open access image/jpeg n/a https://library.oapen.org/bitstream/20.500.12657/101666/1/9783031908972.pdf Springer Nature Springer Nature Switzerland 10.1007/978-3-031-90897-2 10.1007/978-3-031-90897-2 9fa3421d-f917-4153-b9ab-fc337c396b5a c568fa0b-6afd-4c8a-91ec-f6aebcb8bc6e 9783031908972 9783031908965 Springer Nature Switzerland 424 Cham [...] open access |
| spellingShingle | program analysis categorical models and logics language theory, automata, and games concurrency theory modal, spatial, and temporal logics logics of programming software specification and refinement emerging models of computation models of software security logical aspects of computational complexity Foundations of Software Science and Computation Structures |
| title | Foundations of Software Science and Computation Structures |
| title_full | Foundations of Software Science and Computation Structures |
| title_fullStr | Foundations of Software Science and Computation Structures |
| title_full_unstemmed | Foundations of Software Science and Computation Structures |
| title_short | Foundations of Software Science and Computation Structures |
| title_sort | foundations of software science and computation structures |
| topic | program analysis categorical models and logics language theory, automata, and games concurrency theory modal, spatial, and temporal logics logics of programming software specification and refinement emerging models of computation models of software security logical aspects of computational complexity |
| topic_facet | program analysis categorical models and logics language theory, automata, and games concurrency theory modal, spatial, and temporal logics logics of programming software specification and refinement emerging models of computation models of software security logical aspects of computational complexity |
| url | ONIX_20250513_9783031908972_18 |