ПРАВИЛА ВЕРИФИКАЦИИ

Русско-английский перевод ПРАВИЛА ВЕРИФИКАЦИИ

validation rules

Большой Русско-Английский словарь. New big Russian-English dictionary. 2012

ПРАВИЛА — Rules
Русско-Американский Английский словарь
ПРАВИЛА — Rule
Русско-Американский Английский словарь
ПРАВИЛА — Regulation
Русско-Американский Английский словарь
ПРАВИЛА — Canons
Русско-Американский Английский словарь
ПРАВИЛА — Rules
Russian Learner's Dictionary
ПРАВИЛА — rules
Russian Learner's Dictionary
ПРАВИЛА — code, regulation
Русско-Английский словарь по машиностроению и автоматизации производства
ПРАВИЛА — длинные рычаги, посредством которых можно было поднять казенную часть, чтоб подложить под нее деревянные подъемные клинья, а также производить незначительно …
Англо-Русско-Английский словарь морских терминов
ПРАВИЛА — regulation
Русско-Английский экономический словарь
ПРАВИЛА — (блат.) воpовской "закон"
Англо-Русско-Английский словарь сленга, жаргона, русских имен
ПРАВИЛА — • Present practice does not ( or Present rules , or regulations do not) permit more than 1700 grams of …
Русско-Английский научно-технический словарь переводчика
ПРАВИЛА — с.; мн.; в соч. правила, регламентирующие конструкцию и эксплуатацию — construction-and-use laws правила, регламентирующие конструкцию и эффективность тормозов — braking laws - конструктивные …
Русско-Aнглийский автомобильный словарь
ПРАВИЛА — 1) guidance 2) policy
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ПРАВИЛА — ПРАВИЛА И ИСКЛЮЧЕНИЯ Учение - это изучение правил; опыт - изучение исключений. Автор неизветен Для других мы создаем правила, для …
English-Russian aphorisms, русские афоризмы
ПРАВИЛА — сущ. regulation
Большой Русско-Английский словарь
VERIFIER — контрольник; устройство верификации, верификатор artwork verifier design verifier key verifier mechanical verifier patchboard verifier punched card verifier signature verifier tape …
Большой Англо-Русский словарь
VERIFICATION PRINCIPLE — принцип верификации прогноза
Большой Англо-Русский словарь
VERIFICATION CONDITION GENERATION — генерирование условий верификации (при доказательстве правильности программ)
Большой Англо-Русский словарь
VERIFICATION ALGORITHM — алгоритм верификации
Большой Англо-Русский словарь
VALIDATION RULES — правила верификации (множество функций, обеспечивающих проверку (dialog data verification) данных, получаемых от диалоговых элементов управления)
Большой Англо-Русский словарь
RULES — Правила Community ~ постановления Европейского экономического сообщества company ~ устав предприятия driving and resting ~ правила, регламентирующие работу и отдых …
Большой Англо-Русский словарь
RULE — 1. сущ. 1) а) правило, норма to adopt a rule ≈ принять за правило to apply, enforce a rule ≈ …
Большой Англо-Русский словарь
REGULATIONS — сущ.; мн. положения - Defense Trade Regulations - rules and regulations - regulations of the Board - in accordance with …
Большой Англо-Русский словарь
REGULATION — сущ. 1) регулирование; упорядочение regulation of prices ≈ регулирование цен voltage regulation ≈ регулирование напряжения; стабилизация напряжения inherent regulation ≈ …
Большой Англо-Русский словарь
LOGIC OF VERIFICATION — мат. логика верификации
Большой Англо-Русский словарь
LAW — I сущ. 1) а) закон (регулирующий, предписывающий акт) according to the law ≈ по закону to administer, apply, enforce a …
Большой Англо-Русский словарь
FAULT POPULATION — множество неисправностей (рассматриваемое при верификации теста)
Большой Англо-Русский словарь
DESIGN VERIFICATION SIMULATION — моделирование для проверки [верификации] пректных решений
Большой Англо-Русский словарь
DESIGN-VERIFICATION SYSTEM — система верификации проектных решений
Большой Англо-Русский словарь
CODE — 1. сущ. 1) а) ист. сборник законов, изданных во время правления того или иного императора б) юр. кодекс, свод законов …
Большой Англо-Русский словарь
CHECKER — I = chequer II сущ.; амер. шашка (в игре в шашки) контролер, учетчик; счетчик - *'s count учет, проводимый учетчиком …
Большой Англо-Русский словарь
ALGORITHM — сущ.; мат. алгоритм algorithm validation ≈ проверка правильности алгоритма (специальное) алгоритм - * validation проверка /доказательство/ правильности алгоритма ad hoc …
Большой Англо-Русский словарь
RULE — rule.ogg 1. ru:l n 1. правило; норма; принцип unanimity rule - принцип единогласия rule of the road - а) правила …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
REGULATION — regulation.ogg ͵regjʋʹleıʃ(ə)n n 1. регулирование, упорядочение regulation of affairs - упорядочение дел economic government regulation - экономическое государственное регулирование 2. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
VERIFIER — 1) поверочное устройство 2) вчт. контрольник 3) программа верификации, проф. верификатор • - card verifier - key verifier - tape …
Большой Англо-Русский политехнический словарь
VERIFIER — 1) поверочное устройство 2) вчт. контрольник 3) программа верификации, проф. верификатор • - card verifier - key verifier - tape verifier
Большой Англо-Русский политехнический словарь - РУССО
LOGIC OF VERIFICATION — матем. логика верификации
Англо-Русский научно-технический словарь
ASSERTION CHECKER — программа верификации, верификатор условий программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее …
Англо-Русский словарь Tiger
ASSERT STATEMENT — оператор контроля. оператор языка программирования, указывающий условие, которое должно выполняться в данной точке программы. оператор контроля обрабатывается статически при трансляции …
Англо-Русский словарь Tiger
RULE — 1. [ru:l] n 1. правило; норма; принцип unanimity ~ - принцип единогласия ~ of the road - а) правила дорожного …
Новый большой Англо-Русский словарь - Апресян, Медникова
RULE — 1. ru:l n 1. правило; норма; принцип unanimity rule - принцип единогласия rule of the road - а) правила дорожного …
Большой новый Англо-Русский словарь
VERIFYING ATTACHMENT — вчт. контрольное устройство, устройство для верификации
Англо-Русский словарь по машиностроению и автоматизации производства 2
VERIFIER — контрольное устройство, контрольник; устройство верификации, верификатор - numerical verifier
Англо-Русский словарь по машиностроению и автоматизации производства 2
NC-VERIFICATION SOFTWARE — программное обеспечение для верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства 2
NC VERIFICATION PROGRAM — программа верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства 2
VERIFYING ATTACHMENT — вчт. контрольное устройство, устройство для верификации
Англо-Русский словарь по машиностроению и автоматизации производства
VERIFIER — контрольное устройство, контрольник; устройство верификации, верификатор - numerical verifier
Англо-Русский словарь по машиностроению и автоматизации производства
NC-VERIFICATION SOFTWARE — программное обеспечение для верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства
NC VERIFICATION PROGRAM — программа верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства
ASSERTION CHECKER — программа верификации, верификатор условий программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее точках, и доказывающая их истинность или …
Англо-Русский дополнительный словарь
RULE — 1. _n. 1> правило; принцип; норма; образец; it is a rule with us у нас такое правило; rule of the …
Англо-Русский словарь Мюллера
VERIFIER — 1) контрольное устройство, контрольник 2) устройство верификации, верификатор 3) программа верификации; программа контроля
Современный Англо-Русский словарь по машиностроению и автоматизации производства
ОТКРЫТОЕ — Понятие открытого общества - часть философского наследия Карла Поппера. Выдвинутое как антитеза понятию тоталитарного общества, оно впоследствии употреблялось для обозначения …
Русский словарь Colier
МЕТАФИЗИКА — МЕТАФИЗИКА Часто задают вопрос об оправданности метафизического исследования. Иногда приводят общеизвестный факт, что метафизика веками обсуждает одни и те же …
Русский словарь Colier
АЙЕР — (Ayer, Alfred Jules) (1910-1989), английский философ, представитель логического эмпиризма (британской версии логического позитивизма). Родился в Лондоне 29 октября 1910. Получил …
Русский словарь Colier
ЭЛЕКТРОННАЯ — финансовые операции и сделки, выполняемые посредством сети Интернет и частных сетей связи, в ходе которых совершаются покупки и продажи товаров …
Русский словарь Colier
ИСКЛЮЧЕНИЯ — ПРАВИЛА И ИСКЛЮЧЕНИЯ Учение - это изучение правил; опыт - изучение исключений. Автор неизветен Для других мы создаем правила, для …
English-Russian aphorisms, русские афоризмы
VERIFICATION KEY — ключ проверки (верификации) ключ проверки (верификации)
Англо-Русский словарь компьютерной безопасности
SHARED VERIFICATION SCHEME — схема разделенной верификации схема разделенной верификации
Англо-Русский словарь компьютерной безопасности
RULES — Правила Community ~ постановления Европейского экономического сообщества company ~ устав предприятия driving and resting ~ правила, регламентирующие работу и отдых …
Новый большой Англо-Русский словарь
RULE — 1. сущ. 1) а) правило, норма to adopt a rule ≈ принять за правило to apply, enforce a rule ≈ …
Новый большой Англо-Русский словарь
REGULATIONS — сущ.; мн. положения - Defense Trade Regulations - rules and regulations - regulations of the Board - in accordance with …
Новый большой Англо-Русский словарь
REGULATION — сущ. 1) регулирование; упорядочение regulation of prices ≈ регулирование цен voltage regulation ≈ регулирование напряжения; стабилизация напряжения inherent regulation ≈ …
Новый большой Англо-Русский словарь
CODE — 1. сущ. 1) а) ист. сборник законов, изданных во время правления того или иного императора б) юр. кодекс, свод законов …
Новый большой Англо-Русский словарь

Большой Русско-Английский словарь

← ПРАВИЛА БУХГАЛТЕРСКОГО УЧЕТА ПРАВИЛА ВЗИМАНИЯ НАЛОГОВ→