Hopp til innhold
Hopp til lokal navigasjon
Hopp til global navigasjon
Norges teknisk-naturvitenskapelige universitet
NTNU Norsk
NTNU English
Bibliotek
Alumni
Intranett
Søk i NTNUs nettsider
Søk etter:
Startside
Studier
Student i Trondheim
Forskning
Etter- og videreutdanning
Næringsliv og nyskaping
Om NTNU
Aktuelt
NTNU
»
Om NTNU
»
Fakulteter og institutter
»
IE-fakultetet
»
Institutt for Teknisk Kybernetikk
»
emner
»
Fordypning høsten 2025
»
TTK3 - An introduction to formal verification
Sett nytt passord
Vennligst skriv inn et nytt passord for din konto i denne wikien.
Sett nytt passord
Brukernavn
Sett nytt passord
Institutt for teknisk kybernetikk
Startsiden
Studier
Forskning
Ansatte
Kontakt
Ledige stillinger
Kybernetikken i media
Om instituttet
Ledelse
Historie
2018/04/26 11:16, sverrehe
Powered by
DokuWiki
+
NTNU template
and
jQuery
"Fugue" icon set by
Yusuke Kamiyamane
,
CC-BY 3.0
Logg inn