Skip to main
Skosmos
Vokabular
Informasjon
Tilbakemelding
på bokmål
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
A-Å
Hierarki
Grupper
Nye
Informatics and information technology
Informatics
Computing
Verification (Computing)
Computer aided verification
Tilrådd term
Computer aided verification
Type
Topic
Overordna omgrep
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 omgrepet
RDF/XML
TURTLE
JSON-LD
Oppretta 02.02.2024, sist endra 02.02.2024