COMP 488 - 335

Computer Science Topics
Session
Regular Academic Session
Class Number
5836
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
Class Details
Instructor(s)
Konstantin Laufer
Meets
Tu 4:15PM - 6:45PM
Dates
01/13/2025 - 04/26/2025
Room
Crown Center - Room 114
Instruction Mode
In person
Campus
Lake Shore Campus
Location
Lake Shore Campus
Components
Lecture Required
Class Availability
Status
Open
Seats Taken
23
Seats Open
12
Combined Section Capacity
35
Wait List Total
0
Wait List Capacity
0
Combined Section
Formal Meth Software Engr
COMP 335 - 001 (5828)
Status: Open - Enrl
Seats Taken: 20
Wait List Total: 0
Top:
COMP 488 - 335 (5836)
Status: Open - Enrl
Seats Taken: 3
Wait List Total: 0