VERIFICATION CONDITION GENERATION

Англо-русский перевод VERIFICATION CONDITION GENERATION

генерирование условий верификации (при доказательстве правильности программ)

Масловский Е.К.. English-Russian dictionary of computer science. Англо-Русский словарь по вычислительной технике и программированию. 2005

VERIFICATION CONDITION GENERATION — генерирование условий верификации (при доказательстве правильности программ)
Большой Англо-Русский словарь
VERIFICATION CONDITION GENERATION — генерирование условий верификации (при доказательстве правильности программ )
Англо-Русский словарь по компьютерам
VERIFICATION CONDITION GENERATION — генерирование условий верификации ( при доказательстве правильности программ )
Англо-Русский словарь компьютерных терминов
VERIFICATION CONDITION GENERATION — генерирование условий верификации (при доказательстве правильности программ)
Новый большой Англо-Русский словарь
VERIFICATION — n verification
Interlingua English vocab
VERIFICATION — noun Date: 1523 the act or process of verifying ; the state of being verified
Толковый словарь английского языка - Merriam Webster
CONDITION — I. kənˈdishən noun ( -s ) Etymology: Middle English condicioun, from Middle French condicion, from Latin condition-, conditio, alteration of …
Webster's New International English Dictionary
VERIFICATION — ˌverəfə̇ˈkāshən noun ( -s ) Etymology: Middle French, from Medieval Latin verification-, verificatio, from verificatus (past participle of verificare to …
Webster's New International English Dictionary
GENERATION — ˌjenəˈrāshən noun ( -s ) Etymology: Middle English generacioun, from Middle French generation, from Latin generation-, generatio, from generatus + …
Webster's New International English Dictionary
VERIFICATION — — verificative, verificatory , adj. /ver'euh fi kay"sheuhn/ , n. 1. the act of verifying. 2. the state of being …
Random House Webster's Unabridged English Dictionary
GENERATION — — generational , adj. — generationally , adv. /jen'euh ray"sheuhn/ , n. 1. the entire body of individuals born and …
Random House Webster's Unabridged English Dictionary
CONDITION — — conditionable , adj. /keuhn dish"euhn/ , n. 1. a particular mode of being of a person or thing; existing …
Random House Webster's Unabridged English Dictionary
VERIFICATION — n. confirmation, substantiation, proof
Толковый словарь английского языка - Редакция bed
VERIFICATION — noun Date: 1523 : the act or process of verifying : the state of being verified
Merriam-Webster's Collegiate English vocabulary
GENERATION — noun race; kind; family; breed; stock. 2. generation ·noun that which is generated or brought forth; progeny; offspiring. 3. generation …
Webster English vocab
CONDITION — noun train; acclimate. 2. condition ·noun temperament; disposition; character. 3. condition ·noun essential quality; property; attribute. 4. condition ·vi to …
Webster English vocab
CONDITION — in logic, a stipulation, or provision, that needs to be satisfied; also, something that must exist or be the case …
Britannica English vocabulary
VERIFICATION — verification BrE AmE ˌver ɪf ɪ ˈkeɪʃ ə n ˌ•əf-, § \ -əˈ•- ▷ verification|s z
Longman Pronunciation English Dictionary
GENERATION — / ˌdʒenəˈreɪʃn; NAmE / noun 1. [ C +sing./pl. v . ] all the people who were born at about …
Oxford Advanced Learner's English Dictionary
CONDITION — / kənˈdɪʃn; NAmE / noun , verb ■ noun STATE OF STH 1. [ U , sing. ] the state …
Oxford Advanced Learner's English Dictionary
GENERATION — gen ‧ e ‧ ra ‧ tion S3 W2 AC /ˌdʒenəˈreɪʃ ə n/ BrE AmE noun [ Word Family: noun …
Longman Dictionary of Contemporary English
CONDITION — I. con ‧ di ‧ tion 1 S2 W1 /kənˈdɪʃ ə n/ BrE AmE noun [ Word Family: noun : …
Longman Dictionary of Contemporary English
CONDITION — n. & v. --n. 1 a stipulation; something upon the fulfilment of which something else depends. 2 a the state …
Английский основной разговорный словарь
GENERATION — n. 1 all the people born at a particular time, regarded collectively (my generation; the rising generation). 2 a single …
Concise Oxford English Dictionary
GENERATION — n.1 all the people born at a particular time, regarded collectively (my generation; the rising generation). 2 a single step …
Oxford English vocab
GENERATION — ( generations) Frequency: The word is one of the 1500 most common words in English. 1. A generation is all …
Collins COBUILD Advanced Learner's English Dictionary
CONDITION — ( conditions, conditioning, conditioned) Frequency: The word is one of the 700 most common words in English. 1. If you …
Collins COBUILD Advanced Learner's English Dictionary
GENERATION
Longman DOCE5 Extras English vocabulary
CONDITION — I. noun COLLOCATIONS FROM OTHER ENTRIES a heart condition (= something wrong with your heart ) ▪ The baby was …
Longman DOCE5 Extras English vocabulary
VERIFICATION — [noun] [U]The report was forwarded to a committee for independent verification.After following various verification procedures, he declared the manuscript to …
Cambridge English vocab
VERIFICATION — noun ADJECTIVE ▪ empirical , experimental , scientific ▪ independent ▪ additional , further ▪ credit-card , ID , identity …
Oxford Collocations English Dictionary
CONDITION — INDEX: the condition that something is in 1. the condition of something 2. in a good condition 3. buildings or …
Longman Activator English vocab
GENERATION — n. 1 production, reproduction, propagation, procreation, begetting, fathering, siring In the lower animals, the generation of offspring is asexual 2 …
Oxford Thesaurus English vocab
GENERATION — A copy of a tape. An original master recording is referred to as a first generation tape. If you make …
Guitar English Glossary
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Большой Англо-Русский словарь
GENERATION — сущ. 1) поколение а) все представители одной из ступеней семейного генеалогического древа A family party, consisting of three generations; the …
Большой Англо-Русский словарь
CONDITION — 1. сущ. 1) условие (в разных значениях, см. ниже) а) условие (в логической связке, может переводиться непрямо); лог. условие, антецедент …
Большой Англо-Русский словарь
VERIFICATION — verification.ogg ͵verıfıʹkeıʃ(ə)n n 1. 1> контроль, осуществление контроля; проверка subject to verification - подлежащий контролю national technical means of verification …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
GENERATION — generation.ogg ͵dʒenəʹreıʃ(ə)n n 1. 1> поколение the postwar generation - послевоенное поколение first generation Americans - американцы в первом поколении …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
CONDITION — condition.ogg 1. kənʹdıʃ(ə)n n 1. 1> состояние, положение condition of the market - состояние рынка condition of the track - …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
VERIFICATION — 1) верификация; контроль; проверка 2) поверка • - busy verification - compatibility verification - compulsory verification - data verification - …
Большой Англо-Русский политехнический словарь
GENERATION — 1) порождение 2) производство, создание, образование; выработка; формирование 3) генерация 4) поколение ( напр. ЭВМ ) • - address generation …
Большой Англо-Русский политехнический словарь
CONDITION — 1) условие || обусловливать 2) состояние || поддерживать (приводить в) определённое состояние 3) положение; ситуация 4) мн. ч. режим 5) …
Большой Англо-Русский политехнический словарь
VERIFICATION — 1) верификация; контроль; проверка 2) поверка • - busy verification - compatibility verification - compulsory verification - data verification - design verification - exceptional verification - forecast verification - internal …
Большой Англо-Русский политехнический словарь - РУССО
GENERATION — 1) порождение 2) производство, создание, образование; выработка; формирование 3) генерация 4) поколение (напр. ЭВМ) • - address generation - annual gross generation - artwork generation - automatic test …
Большой Англо-Русский политехнический словарь - РУССО
CONDITION — 1) условие || обусловливать 2) состояние || поддерживать (приводить в) определённое состояние 3) положение; ситуация 4) мн. ч. режим 5) мн. ч. параметры 6) кондиционировать 7) …
Большой Англо-Русский политехнический словарь - РУССО
VERIFICATION — 1) верификационный 2) верификация 3) поверка 4) проверка 5) проверок • - direct verification - empirical verification - experimental verification - indirect verification - inverse verification - logic of verification - method …
Англо-Русский научно-технический словарь
GENERATION — 1) генерация, генерирование; порождение 2) образование; формирование; создание 3) поколение 4) производство; выработка; получение • - cluster generation - generation of equation - generation of heat - hypothesis …
Англо-Русский научно-технический словарь
CONDITION
Англо-Русский научно-технический словарь
CONDITION — condition сущ.1) условие (в разных значениях, см. ниже) а) условие (в логической связке, может переводиться непрямо); логика условие, антецедент The …
Англо-Русский словарь Tiger
VERIFICATION — n 1. 1> контроль, осуществление контроля; проверка subject to verification - подлежащий контролю national technical means of verification - национальные …
Большой новый Англо-Русский словарь
GENERATION — n 1. 1> поколение the postwar generation - послевоенное поколение first generation Americans - американцы в первом поколении the lost …
Большой новый Англо-Русский словарь
CONDITION — 1. kənʹdıʃ(ə)n n 1. 1> состояние, положение condition of the market - состояние рынка condition of the track - спорт. …
Большой новый Англо-Русский словарь
VERIFICATION — сущ. 1) контроль, проверка; сверка verification of powers — проверка полномочий Syn: check , examination 2) а) удостоверение, подтверждение ( …
Англо-Русский словарь по общей лексике
GENERATION — сущ. 1) поколение а) все представители одной из ступеней семейного генеалогического древа A family party, consisting of three generations; the …
Англо-Русский словарь по общей лексике
CONDITION — 1. сущ. 1) а) условие; лог. условие, антецедент The conditions were that at a given signal the parties were to …
Англо-Русский словарь по общей лексике
VERIFICATION — сущ. 1) контроль, проверка; сверка verification of powers — проверка полномочий Syn: check, examination 2) а) удостоверение, подтверждение (предсказания, сомнения) б) юр. подтверждение под присягой 3) юр. засвидетельствование 4) …
Англо-Русский словарь общей лексики
GENERATION — сущ. 1) поколение а) все представители одной из ступеней семейного генеалогического древа A family party, consisting of three generations; the last a numerous …
Англо-Русский словарь общей лексики
CONDITION — 1. сущ. 1) а) условие; лог. условие, антецедент The conditions were that at a given signal the parties were to advance. — Условились, …
Англо-Русский словарь общей лексики
VERIFICATION — 1) проверка; поверка; контроль 2) верификация, подтверждение корректности ( программы ) • verification by sampling — выборочная поверка, выборочная проверка …
Англо-Русский словарь по машиностроению и автоматизации производства 2
GENERATION — 1) образование, создание; генерация, генерирование 2) формирование; порождение 3) выработка, производство 4) поколение ( напр. ЭВМ ) 5) зубопрофилирование методом …
Англо-Русский словарь по машиностроению и автоматизации производства 2
CONDITION — 1) условие 2) состояние 3) pl режим 4) предварительно обрабатывать 5) модифицировать; приспосабливать ( к новым условиям ) 6) править …
Англо-Русский словарь по машиностроению и автоматизации производства 2
VERIFICATION — 1) проверка; поверка; контроль 2) верификация, подтверждение корректности (программы) • verification by sampling — выборочная поверка, выборочная проверка verification in-process — контроль в процессе …
Англо-Русский словарь по машиностроению и автоматизации производства
GENERATION — 1) образование, создание; генерация, генерирование 2) формирование; порождение 3) выработка, производство 4) поколение (напр. ЭВМ) 5) зубопрофилирование методом обката, зубонарезание методом обката 6) обкат (ЗК) • - …
Англо-Русский словарь по машиностроению и автоматизации производства

Англо-Русский словарь по вычислительной технике и программированию

← VERIFICATION CONDITION VERIFICATION FLOW→