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.

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.
COURSE EXPLORER
Email: Course Explorer Feedback

OFFICE OF THE REGISTRAR | 901 W. Illinois Street, Urbana, Illinois 61801

Site developed by: Technology Services at Illinois | UNIVERSITY OF ILLINOIS URBANA-CHAMPAIGN
1102 Digital Computer Laboratory | MC-256 | Urbana, IL 61801 | phone 217-244-7000