COMP 513

Formal Methods for Software Engineering

Pennsylvania State University-Lehigh Valley Campus · UGRD · Fall 2026

1 section

Catalog description

Object-oriented software development, formal specification techniques and related CASE tools, software re-use, verification and validation, transformational development.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 7 hours ago

001

Availability not recently verified

Class #pennsylvania_penn_lehigh_valley-COMP513Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?