Zum Hauptinhalt
JKU Moodle
  • Startseite
  • Alle Kurse
  • Mehr
Deutsch ‎(de)‎
Deutsch ‎(de)‎ English ‎(en)‎ Español - Internacional ‎(es)‎ Français ‎(fr)‎
Login
JKU Moodle
Startseite Alle Kurse
  1. TNF
  2. Institut für Formale Modelle und Verifikation
  3. Beschreibung

Kursinformation

342.236, KV Model Checking, Armin Biere / Nils Froleyks / Daniela Kaufmann, 2020W

  • Teacher: Armin Biere
  • Teacher: Nils Froleyks
  • Teacher: Daniela Kaufmann
  • Teacher: Martina Seidl

Datenschutzinfos
Powered by Moodle
Knowledge Base for Students
Knowledge Base for Employees
Johannes Kepler Universität Linz
Impressum