Stud.IP Uni Oldenburg
University of Oldenburg
27.06.2022 17:23:28
Seminar: 2.01.486 Seminar: Strategien im Model-Checking  - Details
You are not logged into Stud.IP.

General information

Course name Seminar: 2.01.486 Seminar: Strategien im Model-Checking 
Subtitle inf487
Course number 2.01.486
Semester Sommersemester 2022
Current number of participants 0
expected number of participants 10
Home institute Department of Computing Science
Courses type Seminar in category Teaching
First date Wed., 20.04.2022 14:15 - 15:45, Room: A03 2-209
Type/Form S
Learning organisation Wird als Blockseminar angeboten
Lehrsprache deutsch

Course location / Course dates

A03 2-209 Wednesday. 20.04.22 14:15 - 15:45
Back