CS 477

Fall 2021 All Classes

All Classes

Formal Software Development 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 374 or MATH 414.

My Favorites

My Schedule

Section Status updates every 10 minutes.

CS 477 class schedule data for fall 2021
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	64565	Online	B3	11:00AM -12:15PM	TR	n.a.	Misailovic, S	Part of Term: 1 Date Range: 08/23/21-12/08/21 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 Restriction(s): Restricted to Undergrad - Urbana-Champaign. Not intended for First Time Freshman students.
	64566	Online	B4	11:00AM -12:15PM	TR	n.a.	Misailovic, S	Part of Term: 1 Date Range: 08/23/21-12/08/21 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. Not intended for MCS:Computer Sci Online -UIUC, MCS:Computer Sci Online -UIUC, or NDEG:Computer Science Onl-UIUC. Not intended for First Time Freshman students.