Значение слова "AXIOMATIC SEMANTICS" найдено в 5 источниках

AXIOMATIC SEMANTICS

найдено в "Англо-русском словаре по компьютерам"

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

найдено в "Англо-русском дополнительном словаре"

аксиоматическая семантика. способ описания семантики языков программирования посредством задания для каждой элементарной конструкции языка предусловий и аксиом, определяющих, соответственно, условия, необходимые для ее применения, и условия, которые становятся выполненными после ее применения

найдено в "Англо-українському словнику технічних термінів"

Аксіомна семантика

аксіоматична семантика

найдено в "Англо-українському словнику технічних термінів"

аксіомна семантикааксіоматична семантика

найдено в "Англо-русском научно-техническом словаре"

матем. аксиоматическая семантика

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z