>  Term: axiomatic semantics
axiomatic semantics

Defining the behavior of an abstract data type with axioms.

0 0

작성자

  • GeorgeV
  •  (Gold) 1123 포인트
  • 100% positive feedback
© 2024 CSOFT International, Ltd.