Métodos Formales para la Ingeniería del Software
He publicado nuevos apuntes de 4º Métodos Formales para la Ingeniería del Software: Evaluacion-continua-Model-Checking-Parcial-1.pdf
He publicado nuevos ejercicios de 4º Métodos Formales para la Ingeniería del Software: Ejercicios-Laboratorio-Modelado.pdf
examenes
-
CUESTIONARIOS RESUELTOS
Para todos los que tengáis que sufrir esta asignatura el año que viene, este es el primer año que evalua las practicas con cuestionarios, espero que os sirvan de algo en un futuro. Un besazo
Quien suba la Practica 4 salva a mucha gente
Hazlo por el bien comunitario
He publicado nuevos trabajos de 4º Métodos Formales para la Ingeniería del Software: Funcionamiento-de-Zelkova-en-AWS-y-su-codificacion-SMT.pdf
He publicado nuevos apuntes de 4º Métodos Formales para la Ingeniería del Software: Apuntes-MFIS.pdf
PAGO POR LA PRACTICA 5
pago 20€ por tener la practica 5
practicas
-
Práctica 4 resuelta (Procesos)
He publicado nuevos practicas de 4º Métodos Formales para la Ingeniería del Software: Práctica 4 resuelta (Procesos)
practicas
-
Práctica 3 resuelta (Panadería)
He publicado nuevos practicas de 4º Métodos Formales para la Ingeniería del Software: Práctica 3 resuelta (Panadería)
practicas
-
Práctica 2 resuelta (Filósofos)
He publicado nuevos practicas de 4º Métodos Formales para la Ingeniería del Software: Práctica 2 resuelta (Filósofos)
practicas
-
Práctica 1 resuelta (Peg-solitaire)
He publicado nuevos practicas de 4º Métodos Formales para la Ingeniería del Software: Práctica 1 resuelta (Peg-solitaire)
practicas
-
Práctica 1 Peg-Solitaire
He publicado nuevos practicas de 4º Métodos Formales para la Ingeniería del Software: Práctica 1 Peg-Solitaire
Miniatura no disponiblepracticas
-
Prácticas Maude
He publicado nuevos practicas de 4º Métodos Formales para la Ingeniería del Software: Prácticas Maude
apuntes
-
Temario (Maude)
He publicado nuevos apuntes de 4º Métodos Formales para la Ingeniería del Software: Temario (Maude)
ejercicios
-
RABBIT-HOP (Listas parametrizadas)
He publicado nuevos ejercicios de 4º Métodos Formales para la Ingeniería del Software: RABBIT-HOP (Listas parametrizadas)
Miniatura no disponibleMiniatura no disponibleMiniatura no disponibleejercicios
-
Relaciones
He publicado nuevos ejercicios de 4º Métodos Formales para la Ingeniería del Software: Relaciones
examenes
-
Ejercicios de examenes
He publicado nuevos examenes de 4º Métodos Formales para la Ingeniería del Software: Ejercicios de examenes
examenes
-
Solucion Model Checking examen feb 2014
He publicado nuevos examenes de 4º Métodos Formales para la Ingeniería del Software: Solucion Model Checking examen feb 2014
He publicado nuevos examenes de 4º Métodos Formales para la Ingeniería del Software: Febrero-2019.pdf
ejercicios
-
Relaciones
He publicado nuevos ejercicios de 4º Métodos Formales para la Ingeniería del Software: Relaciones
examenes
-
Examenes Anteriores UMA
He publicado nuevos examenes de 4º Métodos Formales para la Ingeniería del Software: Examenes Anteriores UMA
