TheGI4: "Theoretische Grundlagen der Informatik 4"

• "Spezifikation und Semantik" (2VL+2UE)
  0434 L 285 [ VV | ISIS ]

BINF-SWT-Show (Angebot unsicher aufgrund noch ungeklärter Lehr-Kapazität)

• "The Software Horror Picture Show" (2SE)
  0434 L 367 [ VV | ISIS ]

TheGI: "Theoretische Grundlagen der Informatik (für Wirtschaftsinformatiker)"

• (2VL+2UE)
  0434 L 370 [ VV | ISIS ]

MINF-VS-AlgProCalc

• "Algebraische Prozesskalküle" (4IV)
  0434 L 352 [ VV | ISIS ]

MINF-VS-VeriSynth

• "Modelle und Analyse Nebenläufiger Systeme" (2SE)
  0434 L 355 [ VV | ISIS ]
• "Halbautomatische Verifikation und Synthese Nebenläufiger Algorithmen" (4PJ)
  0434 L 356  [ VV | ISIS ] 

MINF-VS-WraP

• "Writing and Publishing a Scientific Paper" (6PJ)
  [ VV | ISIS ]

M-MTV-Theorem

• "Einführung in das interaktive Theorembeweisen (Isabelle Lab)" (2IV)
  [ VV | ISIS ]  >>Blockveranstaltung im September 2013<<