Lehrangebot Wintersemester 2010/2011
Abteilung Sichere und zuverlässige Softwaresysteme
- Formale Methoden [2V] (Nowotka)
- Termin:
| Zeit |
Raum |
| Do | 09:45-11:15 | 0.124 |
- Zielgruppe: Hörer anderer Fakultäten (Grundstudium)
- Exportveranstaltung für: Studiengang Wirtschaftsinformatik