CS 477 B3 - Formal Software Devel Methods
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.
For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/csregister
Option 1Number of Required Visit(s): 0
Course Level: Graduate