Online Course Catalog
ECE 478 B4 - Formal Software Devel Methods
Spring 2024
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