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 |
