Arbeitsgruppe
Grundlagen der Informatik
Prof. Dr. K. Madlener
Seminar Formale Spezifikations- und Verifikationstechniken WS2005/2006
Inhalt
Allgemeines
Seminar
Allgemeines
Semester: SS 2001
Dozent: Prof. Dr. K. Madlener
Betreuer: Bernd Strieder
Eintrag im Vorlesungsverzeichnis:
89-760
Seminar
Zeit und Ort wird noch bekanntgegeben.
A) Themen werden noch bekannt gegeben.
B)
C) Vordiplom.
D) Seminarschein nach erfolgreichem Vortrag.
E)
Seminar
Lehrveranstaltungen
AG Grundlagen der Informatik
FB Informatik
TU Kaiserslautern
Last Update: Friday, 28-Oct-05 09:14:24 GMT
strieder@informatik.uni-kl.de