UI Wordmark

CS 477 B3 - Formal Software Devel Methods

Campus: Urbana-Champaign


Mathematical models, languages, and methods for software specification, development, and verification. Course Information: Same as ECE 478. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 225; CS 374 or MATH 414.

Special Instructions:

For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/csregister

Option 1

Number of Required Visit(s): 0

Course Level: Graduate

Credit: 3

Term(s): Fall


Bachelor's Degree

Master's Degree

Doctoral Degree


Continuing Education

Search Programs

Search Courses


Contact Us

University of Illinois Online
Phone: (866) 633-8465 - Join Us  Facebook
© Copyright 2015 - University of Illinois

Cookie Settings