SS 2014: Modellierung nebenläufiger Systeme - Folien und Übungsblätter

Folien

Die Folien werden im Laufe der Vorlesung hier als PDF zum Download bereit gestellt.

Hinweis: s/w = schwarz-weiß

Folien, unterteilt in Kapitel

Notizen

  • Notizen (Stand: 23.6.14): [PDF]

Übungen

  • Übungsblatt 1 (22.04.): [PDF]
  • Übungsblatt 2 (02.05., Abgabe: 12.05.): [PDF] - Testatblatt
  • Übungsblatt 3 (19.05.): [PDF]
  • Übungsblatt 4 (06.06., Abgabe: 16.06.): [PDF] - Testatblatt
  • Übungsblatt 5 (24.06.): [PDF]
  • Übungsblatt 8 (07.07., Abgabe: 14.07.): [PDF] - Testatblatt
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin