Semester: Wintersemester 2014/2015

2.01.491 Seminar Aktuelle Themen aus dem Bereich Formale Sprachen II


Veranstaltungstermin

  • Fr., 19.12.2014, 09:00 - 17:00

Veranstaltungsort

  • Blockveranstaltung - Termine werden rechtzeitig bekannt gegeben.

Beschreibung

Model Checking für Graphersetzungssysteme

DozentIn

Studienmodule

  • inf491 Aktuelle Themen aus dem Gebiet "Formale Sprachen" II

Lehrsprache
deutsch

empfohlenes Fachsemester
--