Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Categorical models and logics 1
- Computer software 1
- Enginyeria de programari 1
- Informàtica 1
- Software engineering 1
- concurrency theory and process calculi 1
- correctness, transformation, and verification 1
- emerging models of computation 1
- language theory, automata, and games
- logical aspects of computational complexity 1
- logics of programming 1
- modal, spatial, and temporal logics 1
- models of concurrent systems 1
- models of software security 1
- program analysis 1
- rewriting theory 1
- semantics of programming languages 1
- software specification and refinement 1
- type theory and proof theory 1
-
1
