Allgemeine Informationen
Veranstaltungsname | Übung: Konstruktion sicherer Software (Übung) |
Untertitel | Übung |
Semester | WS 2011/12 |
Aktuelle Anzahl der Teilnehmenden | 0 |
Heimat-Einrichtung | Leitung des Instituts für Informatik |
beteiligte Einrichtungen | Praktische Informatik (Softwareengineering) |
Veranstaltungstyp | Übung in der Kategorie Offizielle Lehrveranstaltungen |
Erster Termin | Montag, 10.10.2011 12:15 - 14:45 |
Art/Form | Übung |
Teilnehmende |
- geeignet für Informatik - geeignet für Bioinformatik - geeignet für Wirtschaftsinformatik - geeignet für Technomathematik - geeignet für Informatik-LAG - geeignet für Ingenieurwissenschaften - geeignet für Informatik-LAS - geeignet für Verfahrenstechnik - geeignet für Informatik-mit-Wahlpflichtfach-Mathematik - geeignet für Informatik-ohne-Wahlpflichtfach-Mathematik - geeignet für Mathematik-mit-Wahlpflichtfach-Informatik |
Leistungsnachweis | Ja |
Studiengänge (für) | Hauptstudium / Master |
SWS | 3 Vorlesung + 2 Übung |
Sonstiges |
__Literatur__: Logic in Computer Science, Cambridge 2000 |
ECTS-Punkte | 5 |