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 ALGEBRAICAS

Estadísticas del PDF: SEMINARIO DE ESPECIFICACIONES ALGEBRAICAS

Volver
<<>>
Imágen de pdf SEMINARIO DE ESPECIFICACIONES ALGEBRAICAS

SEMINARIO DE ESPECIFICACIONES ALGEBRAICAS

Publicado el 31 de Agosto del 2017
1.010 visualizaciones desde el 31 de Agosto del 2017
210,5 KB
8 paginas
Creado hace 18a (13/11/2006)
Algoritmos y Estructuras de Datos

Ingeniería en Informática, Curso 2º, Año 2006/2007



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, 2006/2007
Seminario de Especificaciones Algebraicas


1. Descripción ge...

17 visualizaciones durante los últimos 90 días


3
0