Home >  Term: axiomatic semantics
axiomatic semantics

Defining the behavior of an abstract data type with axioms.

0 0

Looja

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