3. Semester des Informatik Bachelors an der ETH Zürich Courses: 401-0213 Analysis II 252-0057 Theoretische Informatik 252-0061 SPCA 401-0633 NumCS 851-0742 Contract Design I