|
Nov 24, 2024
|
|
|
|
CIS 771 - Software Specification Formal logic or specification of software components; algebraic vs. model-based specifications; common abstract types; verification of properties of specifications; introduction to specification of concurrent systems.
Credits: (3)
Requisites: Pr.: CIS 301.
KSIS Course Search
Add to Portfolio (opens a new window)
|
|