CS 477

Spring 2020 Part of Term 1

Part of Term 1
Jan 21-May 6

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.

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.
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