Terms for subject Programming containing логическая проверка

Russian	English
инструмент проверки логических аннотаций	logic checker (в коде на языке программирования Java Alex_Odeychuk)
пример логической программы для проверки упорядоченности списка	logic program example for orderliness testing in lists (ssn)
проверка логической непротиворечивости	reasonableness check (ssn)
схема логической проверки	validation scheme (Alex_Odeychuk)
схема логической проверки зависимостей	dependency validation scheme (Alex_Odeychuk)