Ata uhi

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

Whakaahuatanga katoa

I tiakina i:
Hōputu: Online
Reo:Ingarihi
I whakaputaina: Springer Nature 2022
Ngā marau:
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
Urunga tuihono:ONIX_20220413_9783030992538_22
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Ngā tūemi rite: Foundations of Software Science and Computation Structures

Ngā tūemi rite