Spring 2024, 80607: Below is information about CMU Spring 2024 course 80607: Formal Methods: Topology. The course number is 80607 or 80-607. The course Formal Methods: Topology(80607) in spring 2024 has 6.0 unit. The professor Kelly is teaching the course Formal Methods: Topology(80607) in spring 2024. The professor/instructor of Formal Methods: Topology(80607) in spring 2024 is Kelly. The department of Formal Methods: Topology(80607) is Philosophy. The location of Formal Methods: Topology(80607) is Pittsburgh, Pennsylvania. The room of Formal Methods: Topology(80607) is BH 145C. The course happens in TR, from 12:30PM to 01:50PM in spring 2024.
