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.

Section Information
CRN	Type	Section	Time	Days	Location	Instructor
39588	lecture- discussion	B3	09:30 AM - 10:45 AM	TR	room 1103 Siebel Center for Comp Sci	Parthasarathy, M
3 hours
39589	lecture- discussion	B4	09:30 AM - 10:45 AM	TR	room 1103 Siebel Center for Comp Sci	Parthasarathy, M
4 hours

View schedules for

CS 477Formal Software Devel Methods

CS 477
Formal Software Devel Methods