Starvsøki:
Menning

Navn:
Morten Kühnrich

Utbúgving, Doktaraslag:
Cand.Scient in Computer Science, Ph.d.

Starvsheiti, Starvsstaður:
System Development, Føeroya Tele -Faroese telecom

Land:
Føroyar

Teldupostur:


Link til heimasíðu:
www.mortenkuhnrich.dk/

Heiti á ritgerð:
Tilgange til formel verifikation: Type teori, modelcheck og procesalgebra

Universitet:
Institur for Datalogi, Ålborg Universitet

Disputerað/ur, Útgávuár:
2011,



<< Back
Administration     English