Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Sof...

Celý popis

Podrobná bibliografie

Médium:	Online
Jazyk:	angličtina
Vydáno:	Springer Nature 2025
Témata:	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
On-line přístup:	ONIX_20250513_9783031908972_18
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!