COMP 488 - 335

Computer Science Topics
Session
Regular Academic Session
Class Number
4244
Career
Graduate
Units
1 - 4 units
Grading
Graded
Topic
.
Description
This course is used to introduce emerging topics in computer science that do not yet have a regular course number. Content of the course varies.

Outcomes: Understanding of an emerging area of Computer Science.
Class Notes
Topic: Formal Methods in Software Engineering
Class Actions
Look up course materials
Class Details
Instructor(s)
Konstantin Laufer
Meets
Tu 4:15PM - 6:45PM
Dates
01/12/2026 - 05/02/2026
Room
TBA
Instruction Mode
In person
Campus
Lake Shore Campus
Location
Lake Shore Campus
Components
Lecture Required
Class Availability
Status
Open
Seats Taken
0
Seats Open
35
Combined Section Capacity
35
Wait List Total
0
Wait List Capacity
0
Combined Section
Formal Meth Software Engr
COMP 335 - 001 (4238)
Status: Open - Enrl
Seats Taken: 0
Wait List Total: 0
Top:
COMP 488 - 335 (4244)
Status: Open - Enrl
Seats Taken: 0
Wait List Total: 0