Online Course Catalog
ECE 478 B4 - Formal Software Devel Methods
Fall 2021
| Title | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
|---|---|---|---|---|---|---|---|---|
| Formal Software Devel Methods | B4 | 66707 | ONL | 4 | 1100 - 1215 | T R | Sasa Misailovic |
Course Description
This course covers mathematical models, languages, and methods for software specification, development, and verification.
Credit Hours
4 hours
Prerequisites
CS 225; CS 374 or MATH 414.
Subject Area
- Electrical and Computer Engineering