![[Technical Faculty Logo]](../images/tflogo.gif)
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
Maintained by:
Kai Engelhardt
Last modified: Mon Sep 30 12:01:29 1996