Estadísticas del PDF: SEMINARIO DE ESPECIFICACIONES ALGEBRAICAS

Algoritmos y Estructuras de Datos

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



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 asignatura).

Algoritmos y Estructuras de Datos, 2004/2005
Seminario de Especificaciones Algebraicas


1. Descripción ge...