Lectures
Fall 2013
| Title | ECTS | Time | Lecturer(s) |
|---|---|---|---|
|
Formal Methods for Computer Science II |
6 Points | Fr, 08:30-12:00 | Rolf Pfeifer, Rudolf Füchslin |
Navigation auf uzh.ch
Navigation auf uzh.ch
| Title | ECTS | Time | Lecturer(s) |
|---|---|---|---|
|
Formal Methods for Computer Science II |
6 Points | Fr, 08:30-12:00 | Rolf Pfeifer, Rudolf Füchslin |
