Local view for "http://semanticscience.org/resource/SIO_000621"
| Predicate | Value (sorted: default) |
|---|---|
| rdfs:label |
"formal specification"@en
|
| rdf:type | |
| rdfs:subClassOf | |
| rdfs:isDefinedBy | |
| dcterms:Description |
"A formal specification is a mathematical description of software or hardware that may be used to develop an implementation."@en
|
| dc:Identifier |
"SIO_000621"
|
All properties reside in the graph sio
The resource does not appear as an object
Context graph
The server does not have the graphviz program
dot installed in PATH. See http://www.graphviz.org/ for details.