Allgemeine Informationen
| Veranstaltungsname | Vorlesung: Formale Hardwareverifikation |
| Semester | SS 2008 |
| Aktuelle Anzahl der Teilnehmenden | 1 |
| Heimat-Einrichtung | Institut für Informatik |
| beteiligte Einrichtungen | Leitung des Instituts für Informatik |
| Veranstaltungstyp | Vorlesung in der Kategorie Offizielle Lehrveranstaltungen |
| Erster Termin | Montag, 07.04.2008 14:15 - 15:45 |
