CSCI 5028
Formal Methods Software Development
New Mexico Institute of Mining and Technology · UGRD · Fall 2026
1 section
Catalog description
Use of mathematics, logic, and computer science theory in software development. Formal specifications; systematic development of programs from specifications. Correctness proofs and other analysis techniques.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #new_mexico_mining_and-CSCI5028Fall 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?