Estadísticas del PDF: Tema 5 - Tecnología de la Programación

UNIVERSIDAD DE A CORUÑA
FACULTAD DE INFORMÁTICA

DEPARTAMENTO DE COMPUTACIÓN

Tecnología de la Programación

Ingeniería Técnica en Informática de Sistemas

Elena Mª Hernández Pereira

Óscar Fontenla Romero

Bloque didáctico II: Semántica de programas

Tema 5

o Título: El transformador de predicados wp

o Unidades de contenido

• Definición del transformador de predicados
• Propiedades del wp
• Estrategia de demostración de corrección

Tecnología de la programación - Elena Hernández & Oscar Font...