2.01.480 Lecture: Verification of infinite-state systems - Details

Actions

• Print
• Reserve only in the timetable

Share

• Copy link to this course

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

Lecturers

• Dr. Karin Quaas

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)

Module assignments

• Campusmanagementsystem Stud.IP
  • Computing Science - Master's Programme
    • Theoretische Informatik
      • inf480 - Special Topics in 'Parallel Systems' I
        • VA-Auswahl

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".

Erzeugt durch den Stud.IP-Support
Settings for unsubscribe:

• Admission locked.