Foundations of Software Science and Computation Structures
portes grátis
Foundations of Software Science and Computation Structures
28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Kesner, Delia; Abdulla, Parosh Aziz
Springer International Publishing AG
05/2025
400
Mole
Inglês
9783031908965
Pré-lançamento - envio 15 a 20 dias após a sua edição
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.
Open Access;program analysis;categorical models and logics;language theory, automata, and games;concurrency theory;modal, spatial, and temporal logics;logics of programming;software specification and refinement;emerging models of computation;models of software security;logical aspects of computational complexity
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Open Access;program analysis;categorical models and logics;language theory, automata, and games;concurrency theory;modal, spatial, and temporal logics;logics of programming;software specification and refinement;emerging models of computation;models of software security;logical aspects of computational complexity
