CS 477

Spring 2014 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 spring 2014
CRN	Type	Section	Time	Day	Location	Instructor	Section Details
39588	Lecture-Discussion	B3	9:30AM -10:45AM	WF	1131 Siebel Center for Comp Sci	Gunter, E	Part of Term: 1 Date Range: 01/21/14-05/07/14 Credit: 3 hours
39589	Lecture-Discussion	B4	9:30AM -10:45AM	WF	1131 Siebel Center for Comp Sci	Gunter, E	Part of Term: 1 Date Range: 01/21/14-05/07/14 Credit: 4 hours Restriction(s): Restricted to Graduate - Urbana-Champaign.
55917	Online	ONL	ARRANGED	n.a.	n.a.	Gunter, E	Part of Term: XM Date Range: 01/21/14-05/07/14 Section Fee: OCE Tuition $1017.00 per Bill Hour, and OCE Fees $50.00 per Bill Hour. Section Info: Restricted to online non-degree, online MCS, online MSME and online MSCEE students. Counts toward a certificate in Computer Science. For more details on this course section, please see http://online.engineering.illinois.edu/current-students/course-information/spring-2014-credit-course-offerings. Center for Innovation in Teaching & Learning (CITL) restrictions and assessments apply, see http://www.citl.illinois.edu. Restriction(s): Restricted to MS: Civil Engr - Online - UIUC, MCS:Computer Sci Online -UIUC, MS:Mechanical Engineerng -UIUC, NDEG:Grad Nondegree-CE-UIUC, or MCS: Computer Sci Online-UIUC.