Allgemeine Informationen
Veranstaltungsname | Seminar: Verifikation von Übersetzern |
Untertitel | http://swt.informatik.uni-halle.de/lehre/2009ws/verifikation-von-uebersetzern/ |
Semester | WS 2010/11 |
Aktuelle Anzahl der Teilnehmenden | 0 |
erwartete Teilnehmendenanzahl | 10 |
Heimat-Einrichtung | Leitung des Instituts für Informatik |
beteiligte Einrichtungen | Praktische Informatik (Softwareengineering) |
Veranstaltungstyp | Seminar in der Kategorie Offizielle Lehrveranstaltungen |
Erster Termin | Donnerstag, 07.10.2010 10:15 - 11:45, Ort: (2.25) |
Art/Form | Vorlesung kombiniert mit Seminar |
Voraussetzungen | Hauptstudium Informatik/Bioinformatik. Es ist von Vorteil, wenn die Vorlesung "Übersetzerbau" besucht wurde. |
Studiengänge (für) |
Informatik Diplom, Bioinformatik Diplom, Informatik Master |
SWS | 2+0 |
ECTS-Punkte | 5 |