Similar to VDM-CVA

AC - 'A' Complement
AC - Added Constraint
ACA - Arithmetic Comprehension Axiom
ACA - Adaptive Conjoint Analysis
ACC - Ascending Chain Condition
ACC - Adaptive Combinations of Classifiers
ACE - Ambient Computational Environment

View all in Mathematics