CS 477

Fall 2016 All Classes

All Classes

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; CS 373 or MATH 414.

My Favorites

My Schedule

Section Status updates every 10 minutes.

CS 477 class schedule data for fall 2016
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	64565	Lecture	B3	12:30PM -1:45PM	WF	1109 Siebel Center for Comp Sci	Parthasarathy, M	Part of Term: 1 Date Range: 08/22/16-12/07/16 Credit: 3 hours
	64566	Lecture	B4	12:30PM -1:45PM	WF	1109 Siebel Center for Comp Sci	Parthasarathy, M	Part of Term: 1 Date Range: 08/22/16-12/07/16 Credit: 4 hours Restriction(s): Restricted to Graduate - Urbana-Champaign.