Formale Systeme

Wahlpflichtvorlesung/Stammmodul im Wintersemester 2014/2015

Prof. Dr. Bernhard Beckert
Thorsten Bormer, Dr. Vladimir Klebanov, Dr. Mattias Ulbrich


Die Veranstaltung ist beendet, daher wurde diese Seite abgeschaltet.