CS 477

Spring 2009 Part of Term 1

Part of Term 1
Jan 20-May 6

Formal Software Devel 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 373 or MATH 414.

My Favorites

My Schedule

Section Status updates every 10 minutes.

CS 477 class schedule data for spring 2009
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	39588	Lecture-Discussion	B3	3:30PM -4:45PM	TR	1131 Siebel Center for Comp Sci	Viswanathan, M	Part of Term: 1 Date Range: 01/20/09-05/06/09 Credit: 3 hours
	39589	Lecture-Discussion	B4	3:30PM -4:45PM	TR	1131 Siebel Center for Comp Sci	Viswanathan, M	Part of Term: 1 Date Range: 01/20/09-05/06/09 Credit: 4 hours Restriction(s): Restricted to Graduate - Urbana-Champaign.