Смотреть больше слов в «Англо-русском дополнительном словаре»
аксиоматическая семантика. Способ описания семантики языков программирования посредством задания для каждой элементарной конструкции языка предусловий и аксиом, определяющих, соответственно, условия, необходимые для ее применения, и условия, которые становятся выполненными после ее применения.... смотреть
Аксіомна семантикааксіоматична семантика
аксіомна семантикааксіоматична семантика
матем. аксиоматическая семантика