ПРОГРАММА ВЕРИФИКАЦИИ

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

проф. verifier

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

ПРОГРАММА ВЕРИФИКАЦИИ — verifier
Современный Русско-Английский словарь по машиностроению и автоматизации производства
ПРОГРАММА — f. code, program, schedule, course, routine; программа восстановления информации, rerun routine; ведущая программа, master program; наборная программа, plugged program; блок-схема …
Russian-English Dictionary of the Mathematical Sciences
ПРОГРАММА — Program
Русско-Американский Английский словарь
ПРОГРАММА — program(me) программа для вычислительной машины — computer program(me) учебная программа — syllabus; curriculum программа по истории — history syllabus программа …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ПРОГРАММА — 1. programme, program амер. (курса тж.) syllabus; (в театре) theater program; ~ игр спорт. program of the games; ~ по …
Русско-Английский словарь общей тематики
ПРОГРАММА — 1) program 2) schedule
Новый Русско-Английский биологический словарь
ПРОГРАММА — The program
Russian Learner's Dictionary
ПРОГРАММА — programme
Russian Learner's Dictionary
ПРОГРАММА — ж. ( в разн. знач. ) program(me) программа для вычислительной машины — computer program(me) учебная программа — syllabus; curriculum программа …
Русско-Английский словарь
ПРОГРАММА — ж. ( в разн. знач. ) program(me) программа для вычислительной машины — computer program(me) учебная программа — syllabus; curriculum программа …
Russian-English Smirnitsky abbreviations dictionary
ПРОГРАММА — (действий) instruction, program, (напр. развития отрасли) profile
Русско-Английский словарь по машиностроению и автоматизации производства
ПРОГРАММА — жен. program(me); schedule вести программу — ( по радио, телевидению ) to host; ( конферировать ) to compere театральная программа …
Русско-Английский краткий словарь по общей лексике
ПРОГРАММА — programme, scheme, blueprint, mission, software
Русско-Английский словарь по строительству и новым строительным технологиям
ПРОГРАММА — Program
Британский Русско-Английский словарь
ПРОГРАММА — program(me), scheme
Русско-Английский экономический словарь
ПРОГРАММА — 1. programme, program амер. (курса тж.) syllabus; (в театре) theater program; ~ игр спорт. program of the games; ~ по математике mathematics syllabus; ~ радиопередач …
Русско-Английский словарь - QD
ПРОГРАММА — - управляющая программа code
Современный Русско-Английский словарь по машиностроению и автоматизации производства
ПРОГРАММА — ж.; в соч. электронная программа управления моментом зажигания — ignition map программа управления переключением передач — shift program - программа испытаний - производства программа
Русско-Aнглийский автомобильный словарь
ПРОГРАММА — 1) (обсуждения) agenda 2) program 3) project
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ПРОГРАММА — см. автоматически производится корректировка программы ; выполнять программу полета ; из-за … программа выполнена не полностью ; насыщенная программа работ …
Русско-Английский словарь идиом по космонавтике
ПРОГРАММА — жен. program(me) schedule вести программу – (по радио, телевидению) to host (конферировать) to compere учебная программа – syllabus, curriculum театральная …
Большой Русско-Английский словарь
ПРОГРАММА — загрузчик программа загрузчик loader
Русско-Английский словарь Сократ
ПРОГРАММА — программа comp program
Русско-Английский словарь Сократ
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) данных, получаемых от диалоговых элементов управления)
Большой Англо-Русский словарь
SCHEME — 1. сущ. 1) нечто задуманное, спланированное а) план, проект; программа to concoct, cook up, devise, think up a scheme ≈ …
Большой Англо-Русский словарь
ROUTINE — 1. сущ. 1) обычный порядок; общепринятая практика; определенный режим daily, ordinary routine ≈ режим dull routine ≈ скучный порядок practice …
Большой Англо-Русский словарь
PROGRAMME — 1. сущ. 1) программа а) проект; план действий to carry out programme, to implement a programme ≈ осуществлять/претворять в жизнь …
Большой Англо-Русский словарь
PROGRAM — 1. сущ. 1) программа а) проект; план действий to carry out programme, to implement a programme ≈ осуществлять/претворять в жизнь …
Большой Англо-Русский словарь
LOGIC OF VERIFICATION — мат. логика верификации
Большой Англо-Русский словарь
FAULT POPULATION — множество неисправностей (рассматриваемое при верификации теста)
Большой Англо-Русский словарь
DESIGN VERIFICATION SIMULATION — моделирование для проверки [верификации] пректных решений
Большой Англо-Русский словарь
DESIGN-VERIFICATION SYSTEM — система верификации проектных решений
Большой Англо-Русский словарь
CHECKER — I = chequer II сущ.; амер. шашка (в игре в шашки) контролер, учетчик; счетчик - *'s count учет, проводимый учетчиком …
Большой Англо-Русский словарь
ALGORITHM — сущ.; мат. алгоритм algorithm validation ≈ проверка правильности алгоритма (специальное) алгоритм - * validation проверка /доказательство/ правильности алгоритма ad hoc …
Большой Англо-Русский словарь
PROGRAMME — 1. ʹprəʋgræm n 1. 1> программа party programme - программа партии political programme - политическая программа theatre programme - театральная …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
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
PROGRAMME — 1. [ʹprəʋgræm] n 1. 1) программа party ~ - программа партии political ~ - политическая программа theatre ~ - театральная …
Новый большой Англо-Русский словарь - Апресян, Медникова
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), которые должны выполняться в определенных ее точках, и доказывающая их истинность или …
Англо-Русский дополнительный словарь
VERIFIER — 1) контрольное устройство, контрольник 2) устройство верификации, верификатор 3) программа верификации; программа контроля
Современный Англо-Русский словарь по машиностроению и автоматизации производства
ОТКРЫТОЕ — Понятие открытого общества - часть философского наследия Карла Поппера. Выдвинутое как антитеза понятию тоталитарного общества, оно впоследствии употреблялось для обозначения …
Русский словарь Colier
МЕТАФИЗИКА — МЕТАФИЗИКА Часто задают вопрос об оправданности метафизического исследования. Иногда приводят общеизвестный факт, что метафизика веками обсуждает одни и те же …
Русский словарь Colier
АЙЕР — (Ayer, Alfred Jules) (1910-1989), английский философ, представитель логического эмпиризма (британской версии логического позитивизма). Родился в Лондоне 29 октября 1910. Получил …
Русский словарь Colier
ЭЛЕКТРОННАЯ — финансовые операции и сделки, выполняемые посредством сети Интернет и частных сетей связи, в ходе которых совершаются покупки и продажи товаров …
Русский словарь Colier
VERIFICATION KEY — ключ проверки (верификации) ключ проверки (верификации)
Англо-Русский словарь компьютерной безопасности
SHARED VERIFICATION SCHEME — схема разделенной верификации схема разделенной верификации
Англо-Русский словарь компьютерной безопасности
SCHEME — 1. сущ. 1) нечто задуманное, спланированное а) план, проект; программа to concoct, cook up, devise, think up a scheme ≈ …
Новый большой Англо-Русский словарь
ROUTINE — 1. сущ. 1) обычный порядок; общепринятая практика; определенный режим daily, ordinary routine ≈ режим dull routine ≈ скучный порядок practice …
Новый большой Англо-Русский словарь
PROGRAMME — 1. сущ. 1) программа а) проект; план действий to carry out programme, to implement a programme ≈ осуществлять/претворять в жизнь …
Новый большой Англо-Русский словарь

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

← ПРОГРАММА ВЕДЕНИЯ ИГРЫ ПРОГРАММА ВЕРСТКИ→