61-00-2015-pf Formale Grundlagen der Informatik III, Formale Methoden im Softwareentwurf

Course offering details

Instructors: Prof. Dr.-techn. Stefan Katzenbeisser

Event type: Exam

Org-unit: Dept. 20 - Computer Science

Displayed in timetable as: Prüfung

Subject:

Crediting for:

Language of instruction: German

Min. | Max. participants: - | -

Literature
Appointments
Date From To Room Instructors
1 Tue, 26. Sep. 2017 14:00 17:00 S101/A1 ,  S101/A04 ,  S101/A01 ,  S101/A03 Prof. Dr.-techn. Stefan Katzenbeisser
Class session overview
  • 1
  •  
  •  
  •  
  •  
Instructors
Prof. Dr. techn. Stefan Katzenbeisser