Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software and its engineering
4
Software verification
3
Compilers
2
Diseño de compiladores
2
Expresiones de navegación
2
Forcing
2
Formalización de matemática
2
Ingeniería de software
2
Logic and verification
2
Operadores de mutación
2
Programación con tipos dependientes
2
Reparación de programas
2
Software Engineering
2
Software defect analysis
2
Software testing and debugging
2
Software verification and validation
2
Teoría de conjuntos
2
Theory of computation
2
Type Theory
2
Formal Methods
1
Formal methods
1
Software Verification
1
Testing and Debugging
1
Testing and debugging
1
-
1por Miretti, Gabriel LeonardoMaterias: “...Software verification...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Miretti, Gabriel Leonardo.Materias: “...Software Verification...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Gutiérrez Brida, Simón EmmanuelMaterias: “...Software verification and validation...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
4por Gutiérrez Brida, Simón EmmanuelMaterias: “...Software verification and validation...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
5por Gunther, EmmanuelMaterias: “...Software verification...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
6por Gunther, EmmanuelMaterias: “...Software verification...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion