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
108
Exámenes - 2-Ejer.pdf
14 páginas
91
Apuntes - mfis-tema1.pdf
3 páginas
96
Exámenes - Febrero-2019.pdf
4 páginas
113
Exámenes - 1-Ejer.pdf
93
Prácticas - BAKERY.pdf
1 página
Ejercicios - Relacion-LTL.pdf
5 páginas
73
Ejercicios - Relacion-1-MC.pdf
6 páginas
67
Prácticas - DINING-PHILOSOPHERS1.pdf
2 páginas
99
Prácticas - Practica-2-Filosofos.pdf
28 páginas
53
Prácticas - Practica-3-Panaderia.pdf
13 páginas
51
Prácticas - DINING-PHILOSOPHERS3.pdf
77
Prácticas - PEG-SOLITAIRE.pdf
106
Prácticas - Practica-1.pdf
17 páginas
50
Ejercicios - Relacion-Sistemas-de-Transicion.pdf
55
Información
Examen parcial alloy resuelto por el profesor, versión dinámica