[Technical Faculty Logo]
Institute of Computer Science and Applied Mathematics
in the Technical Faculty of Christian-Albrechts-University of Kiel

Teaching in the Summer 96

... in which the chair Software Technology is involved

Lectures

Introduction to Theoretical Computer Science

Willem-Paul de Roever

Concurrent Systems and their Tool-Supported Analysis

Willem-Paul de Roever with Yassine Lakhnech and Michael Siegel

Exercises

Introduction to Theoretical Computer Science

Kai Engelhardt and Ulrich Hannemann

Concurrent Systems and their Tool-Supported Analysis

Michael Siegel and Yassine Lakhnech

Labs

Formal Methods in the industrial practice

Willem-Paul de Roever and Hans-Martin Hörcher

Seminars

Synchronous Languages


[go up]
Maintained by: Kai Engelhardt
Last modified: Mon Sep 30 12:01:29 1996