COMP 488 - 335

Computer Science Topics
Session
Regular Academic Session
Class Number
4244
Career
Graduate
Units
3 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 - 04/25/2026
Room
Cuneo Hall - Room 104
Instruction Mode
In person
Campus
Lake Shore Campus
Location
Lake Shore Campus
Components
Lecture Required
Class Availability
Status
Open
Seats Taken
26
Seats Open
9
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: 25
Wait List Total: 0
Top:
COMP 488 - 335 (4244)
Status: Open - Enrl
Seats Taken: 1
Wait List Total: 0