Foundations of Software Science and Computation Structures

Dublin Core

Title

Foundations of Software Science and Computation Structures

Subject

Computer programming

Description

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.

Creator

Bouyer, Patricia (editor), Schröder, Lutz (editor)

Source

https://library.oapen.org/bitstream/20.500.12657/54027/1/978-3-030-99253-8.pdf

Publisher

Springer Nature

Date

2022

Contributor

Baihaqi

Rights

Creative Commons

Format

PDF

Language

English

Type

Textbooks

Files

978-3-030-99253-8.pdf.jpg

Citation

Bouyer, Patricia (editor), Schröder, Lutz (editor), “Foundations of Software Science and Computation Structures,” Open Educational Resource (OER) - USK Library, accessed July 15, 2024, http://uilis.usk.ac.id/oer/items/show/7451.

Document Viewer