Allgemeine Informationen
| Veranstaltungsname | Übung: Konstruktion sicherheitskritischer Software (Übung) |
| Semester | WS 2008/09 |
| Aktuelle Anzahl der Teilnehmenden | 0 |
| Heimat-Einrichtung | Leitung des Instituts für Informatik |
| beteiligte Einrichtungen | Institut für Informatik, Praktische Informatik (Softwareengineering) |
| Veranstaltungstyp | Übung in der Kategorie Offizielle Lehrveranstaltungen |
| Erster Termin | Dienstag, 07.10.2008 14:15 - 15: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 |
| SWS | 3 Vorlesung + 2 Übung |
| Sonstiges |
__Literatur__: Logic in Computer Science, Cambridge 2000 |
| ECTS-Punkte | 5 |
