Lecturer: Prof. Heiko Mantel
Format: V4 + Ü2
Content:
The course gives an overview on formal approaches to:
The topics covered include:
Place and Time:
The lectures start on Thursday, 19.4.2007.
Language: English
Prerequisites:
Knowledge of Computer Science and Mathematics, equivalent to the first four Semesters in the Computer Science Bachelor program, in particular
Literature:
Scientific articles (to be announced in the lecture) and slides of the lectures (will be available online after the lecture). Additionally, e.g., one of the following books: