Imaxe de Portada

Foundations of Software Science and Computation Structures

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...

Descrición completa

Gardado en:
Formato: Online
Idioma:inglés
Publicado: Springer Nature 2022
Subjects:
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
thema EDItEUR::U Computing and Information Technology::UY Computer science
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
Acceso en liña:ONIX_20220413_9783030992538_22
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Sexa o primeiro en deixar un comentario!
You must be logged in first

Títulos similares