263-2812-00L Program Verification
Semester | Spring Semester 2018 |
Lecturers | A. J. Summers |
Periodicity | yearly recurring course |
Language of instruction | English |
Comment | Number of participants limited to 30. |
Number | Title | Hours | Lecturers | ||||
---|---|---|---|---|---|---|---|
263-2812-00 V | Program Verification | 2 hrs |
| A. J. Summers | |||
263-2812-00 U | Program Verification | 1 hrs |
| A. J. Summers | |||
263-2812-00 A | Program Verification | 1 hrs | A. J. Summers |