Anónimo
Portada
Asignatura
Grado en Ingeniería del Software (UMA)
Métodos Formales para la Ingeniería del Software
Fecha de subida
06 mar 2025
Categoría
examenes
Información
Examen parcial alloy resuelto por el profesor, versión dinámica
Etiquetas
Apuntes - mfis-tema2.pdf
pdf
33 páginas
201
0
Prácticas - PRACTICA-1-PEG-SOLITAIRE
practica 1 - peg-solitaire
126
Ejercicios - rabbit.maude
maude
103
1
Ejercicios - rabbit-hop.maude
101
Ejercicios - rabbit-view.maude
94
Exámenes - 3-Ejer-Alloy.pdf
18 páginas
123
Exámenes - 2-Ejer.pdf
14 páginas
99
Exámenes - Febrero-2019.pdf
4 páginas
122
Exámenes - 1-Ejer.pdf
3 páginas
102
Apuntes - mfis-tema1.pdf
96
Ejercicios - Relacion-LTL.pdf
5 páginas
77
Ejercicios - Relacion-1-MC.pdf
6 páginas
72
Prácticas - BAKERY.pdf
1 página
113
Prácticas - DINING-PHILOSOPHERS1.pdf
2 páginas
Prácticas - Practica-2-Filosofos.pdf
28 páginas
53
Ejercicios - Relacion-Sistemas-de-Transicion.pdf
61
Prácticas - Practica-3-Panaderia.pdf
13 páginas
51
Prácticas - DINING-PHILOSOPHERS3.pdf
Prácticas - PEG-SOLITAIRE.pdf
106
Prácticas - Practica-1.pdf
17 páginas
50
Información
Examen parcial alloy resuelto por el profesor, versión dinámica