Sasa Radomirovic: Lehrveranstaltungen im Frühjahrssemester 2015 |
Name | Herr Dr. Sasa Radomirovic |
Departement | Informatik |
Beziehung | Dozent |
Nummer | Titel | ECTS | Umfang | Dozierende | ||||
---|---|---|---|---|---|---|---|---|
263-4600-00L | Formal Methods for Information Security | 4 KP | 2V + 1U | |||||
263-4600-00 V | Formal Methods for Information Security | 2 Std. |
| S. Radomirovic, M. Torabi Dashti | ||||
263-4600-00 U | Formal Methods for Information Security | 1 Std. |
| S. Radomirovic, M. Torabi Dashti |