General information
Course name | Lecture: Formale Methoden im Software Engineering |
Course number | INF-0130, INF-0229 |
Semester | SS 2024 |
Current number of participants | 23 |
expected number of participants | 30 |
Home institute | Softwaretechnik |
Courses type | Lecture in category Teaching |
First date | Wednesday, 17.04.2024 12:15 - 13:45, Room: (1054 N) |
Type/Form | Vorlesung mit integriertem Praktikum |
Pre-requisites | Interesse an Logik und formalen Methoden, Bachelorveranstaltung Logik für Informatiker ist hilfreich |
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile | Yes |
Hauptunterrichtssprache | deutsch |
Literaturhinweise |
Es besteht eigentlich keine Notwendigkeit, zusätzliche Literatur heranzuziehen. Wer sich dennoch etwas schlauer machen will, kann folgende Bücher lesen: - V. Sperschneider and G. Antoniou, Logic: A Foundation for Computer Science, Addison Wesley, 1991 - J. Loeckx and H.D. Ehrich and M. Wolf, Specification of Abstract Data Types, Wiley-Teubner, 1996 |
ECTS points | 8 |