Métodos Formales para la Ingeniería del Software
navigate_next
Explorar
person

Filtra por un creador

category

Filtra por una categoría

Prácticas
Exámenes
Ejercicios
Apuntes
Trabajos
library_books

Todas las publicaciones en #Métodos Formales para la Ingeniería del Software

practicas

-

Prácticas Maude

2año
leaderboard
99

apuntes

-

Temario (Maude)

3año
leaderboard
92

practicas

-

Práctica 1 resuelta (Peg-solitaire)

2año
leaderboard
47

practicas

-

Práctica 2 resuelta (Filósofos)

2año
leaderboard
53

examenes

-

Ejercicios de examenes

5año
leaderboard
72

ejercicios

-

Relaciones

5año
leaderboard
32

examenes

-

Febrero-2019.pdf

5año

@Anónimo

personal_bag
0
leaderboard
84

ejercicios

-

Relaciones

5año
leaderboard
21

practicas

-

Práctica 1 Peg-Solitaire

2año
leaderboard
126

ejercicios

-

RABBIT-HOP (Listas parametrizadas)

3año

@Anónimo

leaderboard
102

examenes

-

Examenes Anteriores UMA

5año

@Anónimo

leaderboard
30

apuntes

-

Apuntes-MFIS.pdf

2año

@Anónimo

personal_bag
0
leaderboard
37

examenes

-

Solucion Model Checking examen feb 2014

5año

@Anónimo

leaderboard
22

practicas

-

Práctica 3 resuelta (Panadería)

2año
leaderboard
40

practicas

-

Práctica 4 resuelta (Procesos)

2año
leaderboard
41

trabajos

-

Funcionamiento-de-Zelkova-en-AWS-y-su-codificacion-SMT.pdf

1año
personal_bag
0
leaderboard
16

Pregunta

-

Quien suba la Practica 4 salva a mucha gente

1año

Hazlo por el bien comunitario

chat
0
thumb_up
8

Pregunta

-

PAGO POR LA PRACTICA 5

2año

pago 20€ por tener la practica 5

chat
1
thumb_up
3

examenes

-

CUESTIONARIOS RESUELTOS

1año
leaderboard
12