Semester: Wintersemester 2016/2017

2.01.408 Algorithmen zur Software-Verifikation


Veranstaltungstermin

  • Donnerstag: 16:00 - 18:00, wöchentlich

Beschreibung

VA findet Di 16-18 und Mi 16-18 im A03 2-209 statt. Die anderen Termine werden noch gelöscht.

Lehrende

Studienmodule

  • inf408 Algorithmen zur Software-Verifikation

Lehrsprache
deutsch

empfohlenes Fachsemester
--