ECE 478 B4 - Formal Software Devel Methods

Fall 2021

Formal Software Devel MethodsB466707ONL41100 - 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


CS 225; CS 374 or MATH 414.

Subject Area

  • Electrical and Computer Engineering