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.
Coq
4
Logic
4
Theory of computation
4
Asistente de Prueba
2
Asistentes de prueba
2
Formal Verification
2
Logic and verification
2
Lógicas Dinámicas
2
Lógicas Modales
2
Metaprogramación
2
Modal and temporal logics (High Relevance)
2
Mtac2
2
Proof theory
2
Type theory
2
Verificación Formal
2
Análisis dinámico
1
Auditoría externa
1
Computación evolutiva
1
Control interno
1
Dynamic analysis
1
Especificaciones de software
1
Fuzzing
1
Inferencia de especificaciones
1
Informe COSO
1
Program specifications
1
Prueba y depuración de software
1
Pruebas de control
1
Redes neuronales
1
Riesgo
1
Sistemas de información
1
-
1por Cielo, Daniel AlejandroMaterias: “...Pruebas de control...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Tiraboschi, IgnacioMaterias: “...Asistentes de prueba...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
3por Tiraboschi, IgnacioMaterias: “...Asistentes de prueba...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
4por Trucco, Francisco CarlosMaterias: “...Asistente de Prueba...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
5por Trucco, Francisco CarlosMaterias: “...Asistente de Prueba...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
6por Molina, Facundo JoaquínMaterias: “...Prueba y depuración de software...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis