Vorlesungen im WS 2007/08

Model Checking

Prof. Dr. Baier

SWS: 4/2/0

Grundlagen der theoretischen Informatik II

Prof. Dr. Baier

SWS: 2/1/0

Interactive Theorem Proving

Veranstaltung findet auf Englisch statt!

Dr. Posegga

SWS: 4/1/1

LP Engineering

Veranstaltung findet auf Englisch statt!

Dr. Nauber

SWS: 0/0/2

Prolog-Programmierung

Dr. Nauber

SWS: 1/0/1

Komplexpraktikum Modelchecking

Prof. Dr. Baier

SWS: 0/0/4