Home > Term: axiomatic semantics
axiomatic semantics
Defining the behavior of an abstract data type with axioms.
- Vārdšķira: noun
- Nozare/domēns: Computer science
- Category: Algorithms & data structures
- Government Agency: NIST
0
Autors
- GeorgeV
-
(Gold) 1123 points - 100% positive feedback
