Home > Term: axiomatic semantics
axiomatic semantics
Defining the behavior of an abstract data type with axioms.
- Del af tale: noun
- Branche/domæne: Computer science
- Category: Algorithms & data structures
- Government Agency: NIST
0
Ophavsmand
- GeorgeV
- 100% positive feedback