Filter by: Subject
Now showing items 1-10
Métodos formales (2) |
Theory of computation (2) |
Tolerancia a fallas (2) |
Deontic logic (1) |
Fault tolerance (1) |
Formal methods (1) |
Lógica deóntica (1) |
Lógicas deónticas (1) |
Model checking (1) |
Teoría de la computación (1) |