Humord
type: ConceptScheme

Symbolic logic
type: Innholdsbeskrivende emne
type: Concept
narrower: Formell spesifikasjon
preferred label: Symbolsk logikk

Formell spesifikasjon
type: Innholdsbeskrivende emne
type: Concept
created: 2024-02-07T00:00:00
modified: 2024-02-07T12:01:47
broader: Symbolic logic
definition: Spesifikasjon (beskrivelse av et system og dets ønskede egenskaper) som bruker et språk med en matematisk definert syntaks og semantikk <Runde 2000>
editorial note: Lukket bemerkning: ubo24
in scheme: Humord
preferred label: Formal specification @en

Innholdsbeskrivende emne
type: Class
label: Topic @en