Foundations of Software Science and Computation Structures
portes grátis
Foundations of Software Science and Computation Structures
25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Bouyer, Patricia; Schroeder, Lutz
Springer Nature Switzerland AG
03/2022
471
Mole
Inglês
9783030992521
15 a 20 dias
741
Descrição não disponível.
Índice não disponível.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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;Open Access;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
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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;Open Access;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
