홈 > Term: axiomatic semantics
axiomatic semantics
Defining the behavior of an abstract data type with axioms.
- 품사: noun
- 분야/도메인: 컴퓨터 과학
- 카테고리: Algorithms & data structures
- Government Agency: NIST
0
작성자
- GeorgeV
- 100% positive feedback