I220 - Programspesifikasjon og verifikasjon

Oversikt over innholdet på denne vev-siden:

• Pensum
• Kursledere
• Tidspunkt
• Forelesningsplan
• Øvelsesoppgaver
• Eksamen

Pensum

• Jacques Loeckx, Hans-Dieter Ehrich and