General information
| Course name | Exercises: Konstruktion sicherheitskritischer Software (Übung) |
| Semester | WS 2007/08 |
| Current number of participants | 0 |
| Home institute | Leitung des Instituts für Informatik |
| participating institutes | Institut für Informatik, Praktische Informatik (Softwareengineering) |
| Courses type | Exercises in category Offizielle Lehrveranstaltungen |
| First date | Tuesday, 09.10.2007 14:15 - 15:45, Room: (Seminarraum 0.03 [VSP]) |
| 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 |
| SWS | 3 Vorlesung + 2 Übung |
| Miscellanea |
__Literatur__: Logic in Computer Science, Cambridge 2000 |
