Allgemeine Informationen

Veranstaltungsname	Übung: Formale Hardwareverifikation - Übungsgruppe 1
Semester	SS 2008
Aktuelle Anzahl der Teilnehmenden	1
Heimat-Einrichtung	Institut für Informatik
beteiligte Einrichtungen	Leitung des Instituts für Informatik
Veranstaltungstyp	Übung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin	Mittwoch, 09.04.2008 14:15 - 15:45

Lehrende