View schedules for
|
|
|
 |
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. 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 1131
Siebel Center for Comp Sci | Viswanathan, M |
3 hours
|
| 39589 | lecture- discussion | B4 | 09:30 AM - 10:45 AM | TR | room 1131
Siebel Center for Comp Sci | Viswanathan, M |
4 hours
|
| |
