Detailed Course Information |
Fall 2024 Semester
Nov 23, 2024 |
|
 |
||
 | Select the desired Level or Schedule Type to find available classes for the course. |
| CS 7485 - Special Topics in Formal Methods |
|
Offers various topics in formal methods. May be repeated without limit.
4.000 Credit hours 4.000 Lecture hours Levels: Graduate Schedule Types: Lecture Computer Science Department Course Attributes: GSCS Computer & Info Science, Topics Course Restrictions: Must be enrolled in one of the following Levels: Graduate Must be enrolled in one of the following Colleges: Khoury Coll of Comp Sciences |
| Return to Previous | New Search |
|