Explorando Métodos Formales en Ingeniería de Software

En Grado en Ingeniería Informática (UHU)

Buscando en
Grado en Ingeniería Informática (UHU)
navigate_next
Métodos Formales en Ingeniería de Software
navigate_next
Explorar

Orden

Categoría

Exámenes
14
Apuntes
10
Ejercicios
5
Prácticas
4
Todo
Exámenes
Apuntes
Ejercicios
Prácticas
category

Filtra por una categoría

library_books

Todas las publicaciones en #3º Métodos Formales en Ingeniería de Software

apuntes

-

Ejercicios, Apuntes y Prácticas

examenes

-

Exámenes MFIS

examenes

-

ejercicios promela.pdf

apuntes

-

temario promela.pdf

practicas

-

Practicas, AAD y ejercicios.

ejercicios

-

ocl.pdf

apuntes

-

Teoría MFIS

ejercicios

-

alloy.pdf

apuntes

-

ocl-ref-shortTraducido.pdf

apuntes

-

Relacion-Problemas-Alloy.pdf

ejercicios

-

Ejercicio-1-Alloy-Relacion-de-problemas.pdf

ejercicios

-

Act-repaso-ALLOY.pdf

examenes

-

1

apuntes

-

TEMA-5-OCL.pdf

ejercicios

-

model checking.pdf