Skip to main
Skosmos
Vokabularer
Informasjon
Tilbakemelding
på nynorsk
in English
Humord
We're sorry but Skosmos doesn't work properly without JavaScript enabled. Please enable it to continue.
Sidefelt: navigér i vokabularet på ulike måter
A-Å
Hierarki
Grupper
Nye
Informatics and information technology
Informatics
Computing
Verification (Computing)
Computer aided verification
Anbefalt term
Computer aided verification
Type
Topic
Overordnede begreper
Verification (Computing)
Identifikator
HUME62529
På andre språk
norsk bokmål
Datastøttet verifikasjon
norsk nynorsk
Datastøtta verifikasjon
URI
http://data.ub.uio.no/humord/c62529
Last ned dette begrepet
RDF/XML
TURTLE
JSON-LD
Opprettet 02.02.2024, sist endret 02.02.2024