CS 477

Spring 2025 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; one of CS 374, ECE 374 or MATH 414.

My Favorites

My Schedule

Section Status updates every 10 minutes.

CS 477 class schedule data for spring 2025
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	39588	Lecture-Discussion	B3	12:30PM -1:45PM	TR	Digital Computer Laboratory	Singh, G	Part of Term: 1 Date Range: 01/21/25-05/07/25 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): Not intended for Electrical Engineering major(s). Restricted to Undergrad - Urbana-Champaign. Not intended for BS:Computer Engineering -UIUC.
	39589	Lecture-Discussion	B4	12:30PM -1:45PM	TR	Digital Computer Laboratory	Singh, G	Part of Term: 1 Date Range: 01/21/25-05/07/25 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 OFF - UIUC or MCS:Computer Sci Online -UIUC. Not intended for First Time Freshman students.