Inhalt

[ 2WFMFMKS ] KS Formal Methods

Versionsauswahl
Es ist eine neuere Version 2018W dieser LV im Curriculum Master's programme Business Informatics 2023W vorhanden.
Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS M1 - Master's programme 1. year Statistics Tudor Jebelean 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Business Informatics 2013W
Objectives See Wahlfach Methodenlehre
Subject See Wahlfach Methodenlehre
Criteria for evaluation Examination 50%, In-class participation 50%
Language German
Study material Reading:

  • Bortz, J.; Döring, N.: Forschungsmethoden und Evaluation für Human- und Sozialwissenschaftler. Springer, Berlin, current edition.
  • Heinrich, L. J.; Heinzl, A.; Riedl, R.: Wirtschaftsinformatik - Einführung und Grundlegung. Oldenbourg, München/Wien, current edition.
Changing subject? No
Further information See Wahlfach Methodenlehre
On-site course
Maximum number of participants 200
Assignment procedure Assignment according to priority