Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Information technology containing assertion | all forms | exact matches only
EnglishRussian
assertion boxвводящий блок (на блок-схеме программы)
assertion checkerревизор утверждений (программная или аппаратная система)
assertion checkerверификатор условий
assertion checkerблок проверки утверждения
assertion checkerблок контроля утверждений
assertion checkerблок проверки утверждений
assertion statementоператор контроля
base assertionосновное суждение
base assertionисходное высказывание
concept of assertionsподдержка проверки утверждений (Alex_Odeychuk)
final assertionконечное утверждение
global assertionглобальное утверждение (содержащееся среди описателей программы)
inductive assertionиндуктивное утверждение
initial assertionначальное утверждение
input assertionначальное утверждение
intermediate assertionпромежуточное утверждение
local assertionлокальное утверждение (содержащееся в теле программы)
output assertionвыходное утверждение

Get short URL