Filtrar por: Materia
Mostrando 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) |