1.115 visualizaciones desde el 5 de Julio del 2017
461,9 KB
67 paginas
Creado hace 17a (15/05/2008)
Tecnología de la Programación
Semántica Operacional
David Cabrero Souto
Facultad de Informática
Universidade da Coruña
Curso 2007/2008
Verificación formal
Recordar descriptores BOE:
Diseño de algoritmos
Análisis de algoritmos
Lenguajes de programación
Diseño de programas: Descomposición modular y
documentación
Técnicas de verificación
Pruebas de programas
Pruebas de programas: validación
Ejecución de un conjunto de tests generados sintética o
manualmente.
Prueba formal de propiedades: v...
40 visualizaciones durante los últimos 90 días
4
0
Sistemas Operativos
En el presente trabajo se analizara la implementación de una red simulada con Mikrotik
Crear cuenta
40 visualizaciones durante los últimos 90 días