formal specification (Q20805): Difference between revisions
Jump to navigation
Jump to search
Superraptor (talk | contribs) (Created claim: subclass of (P2): functional specification (Q20806)) |
Superraptor (talk | contribs) (Added [en] description: A mathematical description of software or hardware that may be used to develop an implementation.) |
||
| description / en | description / en | ||
A mathematical description of software or hardware that may be used to develop an implementation. | |||
Latest revision as of 16:25, 13 May 2024
A mathematical description of software or hardware that may be used to develop an implementation.
- formal specifications
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | formal specification |
A mathematical description of software or hardware that may be used to develop an implementation. |
|