Skip to main content
If you continue browsing this website, you agree to our policies:
  • Nutzungsbedingungen
  • Datenschutzerklärung
Continue
x
JKU Moodle
  • Home
  • All courses
  • More
English ‎(en)‎
Deutsch ‎(de)‎ English ‎(en)‎ Español - Internacional ‎(es)‎ Français ‎(fr)‎
You are currently using guest access
Log in
JKU Moodle
Home All courses
  1. TNF
  2. Institut für Formale Modelle und Verifikation
  3. Summary

Course info

342.251, VO Formal Models, Armin Biere / Martina Seidl, 2021S

  • Teacher: Armin Biere
  • Teacher: Nils Froleyks
  • Teacher: Daniela Kaufmann
  • Teacher: Andreas Plank
  • Teacher: Martina Seidl
  • Teacher: Katharina Süß

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