首页 >  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.