Iniciar sesiónCerrar
Correo:
Contraseña:
Entrar
Recordar sesión en este navegador
Iniciar sesiónIniciar sesiónCrear cuentaCrear cuenta
LWP » PDFs de programación » Seminario de especificaciones algegraicas

Estadísticas del PDF: Seminario de especificaciones algegraicas

Volver
<<>>
Imágen de pdf Seminario de especificaciones algegraicas

Seminario de especificaciones algegraicas

Publicado el 4 de Abril del 2018
785 visualizaciones desde el 4 de Abril del 2018
215,9 KB
8 paginas
Creado hace 20a (12/07/2004)
Algoritmos y Estructuras de Datos

Ingeniería en Informática, Curso 2º, Año 2003/2004



SEMINARIO DE

ESPECIFICACIONES ALGEBRAICAS



Contenidos:

1. Descripción general de Maude
2. Comandos básicos
3. Formato de especificación
4. Ejemplos
Ejercicios



OJO: Antes de hacer esta práctica repasar las especificaciones algebraicas o
axiomáticas (Tema 1 de la Parte 1 de la asignatura).

Algoritmos y Estructuras de Datos, 2003/2004
Seminario de Especificaciones Algebraicas - Convo...

19 visualizaciones durante los últimos 90 días


2
0