Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Verified Software Development with the B-Method

Aktivität: SonstigeAufenthalt an der JKU (Altdaten)

Beschreibung

Abhaltung der LVA von Herrn Koreko
Zeitraum22 März 201823 März 2018

Wissenschaftszweige

  • 102029 Praktische Informatik
  • 102009 Computersimulation
  • 102 Informatik
  • 102011 Formale Sprachen
  • 102022 Softwareentwicklung
  • 102013 Human-Computer Interaction
  • 102024 Usability Research

JKU-Schwerpunkte

  • Computation in Informatics and Mathematics
  • TNF Allgemein