Filter by: Subject
Now showing items 1-3
| Formal Methods, Software Engineering, Requirements Engineering, Verification and Validation, Formalization (1) |
| Métodos formales, Ingeniería del Software, Ingeniería de Requisitos, Verificación y Validación, formalización (1) |
| Árboles (matemáticas), funciones (matemáticas), lógica matemática, matemática informática, teoría de conjuntos, teoría de grafos (1) |