This page in EN
Teilleistung
Praktikum: Programmverifikation [T-INFO-102953]
Teilleistungsart
Prüfungsleistung anderer ArtLeistungspunkte
3Turnus
UnregelmäßigVersion
1Verantwortung
Einrichtung
- KIT-Fakultät für Informatik
Bestandteil von
Veranstaltungen
| Kursnummer | Name | SWS | Typ |
|---|
Prüfungen
| Kursnummer | Name | Termine |
|---|---|---|
| SS20 7500281 | Praktikum: Programmverifikation | |
| SS20 7500281 | Praktikum: Programmverifikation | |
| SS20 7500281 | Praktikum: Programmverifikation | |
| SS20 7500281 | Praktikum: Programmverifikation | |
| SS20 7500281 | Praktikum: Programmverifikation | |
| SS20 7500281 | Praktikum: Programmverifikation | |
| SS20 7500281 | Praktikum: Programmverifikation | |
| SS20 7500281 | Praktikum: Programmverifikation | |
| SS20 7500281 | Praktikum: Programmverifikation |
Erfolgskontrolle(n)
Die Erfolgskontrolle erfolgt in Form einer Prüfungsleistung anderer Art nach §4 Abs. 2 Nr. 3 SPO.
Es müssen praktische Aufgaben im Bereich der Programmverifikation bearbeitet sowie die Durchführung und die Ergebnisse in einer schriftliche Ausarbeitung beschrieben und in einer mündlichen Präsentation dargestellt werden. Ein Rücktritt ist innerhalb von zwei Wochen nach Vergabe des Themas möglich.
Voraussetzungen
Keine