Navigation auf uzh.ch

Suche

Department of Informatics Artificial Intelligence Lab (ARCHIVE)

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

Weiterführende Informationen

Bereichs-Navigation