CS 477

Spring 2020 Part of Term 1

Part of Term 1
Jan 21-May 6

Formal Software Devel Methods

Credit: 3 OR 4 hours.

Mathematical models, languages, and methods for software specification, development, and verification.

Same as ECE 478. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 225; CS 373 or MATH 414.

My Favorites

My Schedule

Section Status updates every 10 minutes.

CS 477 class schedule data for spring 2020
CRN	Type	Section	Time	Day	Location	Instructor	Section Details
39588	Lecture-Discussion	B3	9:30AM -10:45AM	WF	Siebel Center for Comp Sci	Gunter, E	Part of Term: 1 Date Range: 01/21/20-05/06/20 Credit: 3 hours Section Info: For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/CSregister
39589	Lecture-Discussion	B4	9:30AM -10:45AM	WF	Siebel Center for Comp Sci	Gunter, E	Part of Term: 1 Date Range: 01/21/20-05/06/20 Credit: 4 hours Section Info: For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/CSregister Restriction(s): Restricted to Graduate - Urbana-Champaign.
55917	Lecture-Discussion	BO3	ARRANGED	n.a.	Location Pending	Gunter, E	Part of Term: 1 Date Range: 01/21/20-05/06/20 Section Info: This section is an overflow section. Students registered for it will be required to watch the recorded lectures rather than attend class. All assignments will be handed in via git. Any in-class exams will be scheduled in additional classroom space.