Stud.IP Uni Oldenburg
University of Oldenburg
23.10.2019 15:57:59
2.01.480 Lecture: Verification of infinite-state systems - Details
You are not logged into Stud.IP.

General information

Subtitle inf480
Course number 2.01.480
Semester Wintersemester 2018/2019
Current number of participants 5
Home institute Department of Computing Science
Courses type Lecture in category Teaching
First date Tue , 16.10.2018 10:00 - 12:00, Room: A03 2-209
Type/Form V+S
Lehrsprache deutsch

Course location / Course dates

A03 2-209 Tuesday: 10:00 - 12:00, weekly (from 16/10/18) (14x)
Wednesday: 08:00 - 10:00, weekly (from 17/10/18) (13x)

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
Settings for unsubscribe:
  • Admission locked.