|
Oct 19, 2024
|
|
|
|
COSC 513 - Formal Methods in Software Development Principles of logical reasoning and their application to the development of reliable software, propositional and predicate logic, mathematical induction, semantics of control and data structures are studied. Examples are drawn from various applications areas. Emphasis is on the use of formal methods as practical tools that aid in software development.
Credit Hours: 3 hrs Grade Mode: Normal (A-F)
Prerequisite(s): and and
Last Updated: Links 06/2011
Summer 2024 Course Sections
Fall 2024 Course Sections
Add to Portfolio (opens a new window)
|
|