CS 5392
FORMAL METHODS SOFTWARE ENGR
Texas State University · Fall 2026
2 sections2 open now
Sections
Current meeting, instructor, credit, and enrollment details
001
21 openSeats: 18/39 seats Last recorded: Jul 30, 2026, 1:13 PMClass #14809Fall 20263 credits
21 available18 enrolled39 capacity0/0 waitlist
- Days & times
- Tu 18:30-21:20
- Meeting dates
- Aug 19 – Dec 10
- Location
- Derrick Hall 00235
- Instructor
- Podorozhny, Rodion
Section notes
San Marcos Campus; Lecture; Face to Face
Details checked 4 hours agoSeats checked 4 hours ago
R02
22 openSeats: 10/32 seats Last recorded: Jul 30, 2026, 1:13 PMClass #14810Fall 20263 credits
22 available10 enrolled32 capacity0/0 waitlist
- Days & times
- Tu 18:30-21:20
- Meeting dates
- Aug 19 – Dec 10
- Location
- Avery Building 00366
- Instructor
- Podorozhny, Rodion
Section notes
Round Rock Campus; Lecture; Two Way Interactive Video
Details checked 4 hours agoSeats checked 4 hours ago
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?