| |
Nov 22, 2024
|
|
|
|
|
Graduate Studies Catalog 2021-2022 [ARCHIVED CATALOG]
|
SE 504 - Formal Methods and Models3 cr.
(Prerequisite SE 500) This course is concerned with the application of mathematical techniques and models to the problem of software development. Of particular concern are means by which to develop provably correct programs.
|
|