Image de couverture de livre

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

Description complète

Enregistré dans:
Format: Online
Langue:anglais
Publié: Springer Nature 2022
Sujets:
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
Accès en ligne:ONIX_20220413_9783030992538_22
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

Internet

ONIX_20220413_9783030992538_22

Documents similaires