Fall 2006
Home
Text Only
Class Schedule
Summer 08
Spring 08
Fall 07
Summer 07
Spring 07
Fall 06
Summer 06
Spring 06
Fall 05
Summer 05
Spring 05
Fall 04
Course Catalog
Spring 08
Fall 07
Spring 07
Fall 06
Spring 06
Fall 05
Spring 05
Fall 04
Spring 04
Fall 03
Spring 03
Fall 02
Spring 02
Fall 01
Spring 01
Fall 00
Spring 00
Programs of Study
2007-2008
2006-2007
Spring 06
Fall 05
Spring 05
Fall 04
2001 - 2003
1999 - 2001
1997 - 1999
1995 - 1997

CS 477
Formal Software Dev 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 or CS 400; CS 273 or MATH 414.
  Site created by the Office of Web Services
Courses Contact
University of Illinois at Urbana-Champaign
2006 The Board of Trustees at the University of Illinois