Göteborgs universitet
  2. Studera
  3. Hitta utbildning
  4. Formella metoder för säkerhet

Formella metoder för säkerhet

Kurs
DIT705
Avancerad nivå
7,5 högskolepoäng (hp)
Ges vid Institutionen för data- och informationsteknik vid Fakulteten för naturvetenskap och teknik
Studietakt
50%
Undervisningstid
Dag
Studieort
Göteborg
Undervisningsform
Campus
Undervisningsspråk
Engelska
Start/slut
-
Ansökningsperiod
-
Anmälningskod
GU-86099
Kursinnehåll
Kursplan
Ansökan öppnar 15 september 2026

Behörigheter och urval

Behörighet

En kandidatexamen i datavetenskap eller ett relaterat ämnesområde.

Urval

Högskolepoäng, max 285 hp.

Studera på Göteborgs universitet

Anmälan och antagning
Meriter, behörighet, urval... Det är enklare än det låter att göra en anmälan till universitetet! Här får du en överblick…
Student i Göteborg
Boende och ekonomi
Så fungerar universitetet
Senast ändrad