General information
Course name | Exercises: Konstruktion sicherer Software (Übung) |
Subtitle | Übung |
Semester | SS 2013 |
Current number of participants | 1 |
Home institute | Leitung des Instituts für Informatik |
participating institutes | Praktische Informatik (Softwareengineering) |
Courses type | Exercises in category Offizielle Lehrveranstaltungen |
First date | Monday, 15.04.2013 14:15 - 15:45 |
Type/Form | Übung |
Participants |
- 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 |
Performance record | Ja |
Studiengänge (für) | Hauptstudium / Master |
SWS | 3 Vorlesung + 2 Übung |
Miscellanea |
__Literatur__: Logic in Computer Science, Cambridge 2000 |
ECTS points | 5 |