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.

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