formal specification (Q20805)

From lgbtDB
Revision as of 16:25, 13 May 2024 by Superraptor (talk | contribs) (‎Added [en] description: A mathematical description of software or hardware that may be used to develop an implementation.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
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.
  • formal specifications

Statements

SIO ID
000621
0 references
 
Retrieved from "https://lgbtdb.wikibase.cloud/w/index.php?title=Item:Q20805&oldid=128863"