Catálogo de publicaciones - libros
Título de Acceso Abierto
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
Parte de: Lecture Notes in Computer Science
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
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
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | Directory of Open access Books |
|
Información
Tipo de recurso:
libros
País de edición
Reino Unido
