Lehrveranstaltungen Wintersemester 2010/11

Model Checking

Vorlesung, Prof. Dr. Baier

SWS: 4/2/0

Interactive Theorem Proving

Lecture, Dr. habil. Michael Posegga

SWS: 4/2/0

Formale Semantik nebenläufiger und mobiler Prozesse

Lecture, Dr. habil. Michael Posegga

SWS: 4/2/0

Selected topics in logic and complexity

Seminar, Prof. Dr. Baier, Clemens Dubslaff

SWS: 0/2/0

Komplexpraktikum Model Checking

Prof. Dr. Baier

SWS: -/-/4

Project Group Model Checking

Prof. Dr. Baier

SWS: -/-/4

Lab Course Modeling and Automated Verification

Prof. Dr. Baier

SWS: 0/0/4

Logic Programming Engineering

Exercise course, Dr. Walter Nauber

SWS: 0/2/0

Prolog-Programmierung

Lecture and exercise course, Dr. Walter Nauber

SWS: 1/1/0