ASSERTION CHECKER

Англо-русский перевод ASSERTION CHECKER

программа верификации, верификатор условий. Программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях (precondition).

English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012

ASSERTION CHECKER — блок проверки утверждений, ревизор утверждений (программная или аппаратная система)
Большой Англо-Русский словарь
ASSERTION CHECKER — программа верификации, верификатор условий программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее …
Англо-Русский словарь Tiger
ASSERTION CHECKER — программа верификации, верификатор условий программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее точках, и доказывающая их истинность или …
Англо-Русский дополнительный словарь
ASSERTION CHECKER — блок проверки утверждений, ревизор утверждений (программная или аппаратная система)
Англо-Русский словарь по вычислительной технике и программированию
ASSERTION CHECKER — блок проверки утверждений, ревизор утверждений (программная или аппаратная система)
Новый большой Англо-Русский словарь
ASSERTION CHECKER — программа верификации, верификатор условий. программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее точках, и доказывающая …
Англо-Русский словарь
ASSERTION — n assertion, affirmation
Interlingua English vocab
ASSERTION — pahayag
English-Visayan vocabulary
ASSERTION — noun Date: 15th century the act of asserting
Толковый словарь английского языка - Merriam Webster
CHECKER — I. ˈchekə(r) noun ( -s ) Usage: often attributive Etymology: Middle English cheker, from Old French eschequier chessboard, from eschec …
Webster's New International English Dictionary
ASSERTION — əˈsərshən, -ə̄sh-, -əish- also aˈ- noun ( -s ) Etymology: Middle English assercioun, from Middle French or Late Latin; Middle …
Webster's New International English Dictionary
ASSERTION — (n.) Maintenance; vindication; as, the assertion of one's rights or prerogatives.
Английский словарь Webster
ASSERTION — ( n. ) Maintenance; vindication; as, the assertion of one's rights or prerogatives.
Webster's Revised Unabridged English Dictionary
CHECKER — checker 1 /chek"euhr/ , n. 1. a small, usually red or black disk of plastic or wood, used in playing …
Random House Webster's Unabridged English Dictionary
ASSERTION — — assertional , adj. /euh serr"sheuhn/ , n. 1. a positive statement or declaration, often without support or reason: a …
Random House Webster's Unabridged English Dictionary
CHECKER — I. ˈche-kər noun Etymology: Middle English cheker, from Anglo-French checker, escheker, from eschec — more at check Date: 14th century …
Merriam-Webster's Collegiate English vocabulary
CHECKER — vt one who checks. 2. checker ·vt checkerwork. 3. checker ·vt a pattern in checks; a single check. 4. checker …
Webster English vocab
ASSERTION — noun maintenance; vindication; as, the assertion of one's rights or prerogatives. 2. assertion ·noun the act of asserting, or that …
Webster English vocab
CHECKER — [check.er] n [ME cheker, fr. MF eschequier, fr. eschec] (14c) 1 archaic: chessboard 2: a square or spot resembling the …
Merriam-Webster English vocab
CHECKER — checker, C~ BrE AmE ˈtʃek ə AmE - ə r ▷ checker|ed d ▷ checkering ˈtʃek ə r‿ɪŋ ▷ checker|s …
Longman Pronunciation English Dictionary
ASSERTION — assertion BrE AmE ə ˈsɜːʃ ə n AmE \ ə ˈsɝːʃ ə n ▷ assertion|s z
Longman Pronunciation English Dictionary
CHECKER — / ˈtʃekə(r); NAmE / noun —see also checkers 1. ( especially US ) a person who works at the checkout …
Oxford Advanced Learner's English Dictionary
ASSERTION — / əˈsɜːʃn; NAmE əˈsɜːrʃn/ noun 1. [ C ] a statement saying that you strongly believe sth to be true …
Oxford Advanced Learner's English Dictionary
CHECKER — Checker, Chubby BrE AmE (1941–) an American singer popular especially in the 1960s, whose most famous song is The Twist …
Longman Dictionary of Contemporary English
CHECKER — check ‧ er /ˈtʃekə $ -ər/ BrE AmE noun [countable] [ Sense 1-3: Date: 1800-1900 ; Origin: ⇨ ↑ check …
Longman Dictionary of Contemporary English
ASSERTION — as ‧ ser ‧ tion /əˈsɜːʃ ə n $ -ɜːr-/ BrE AmE noun [countable] something that you say or write …
Longman Dictionary of Contemporary English
ASSERTION — n. 1 a declaration; a forthright statement. 2 the act or an instance of asserting. 3 (also self-assertion) insistence on …
Английский основной разговорный словарь
ASSERTION — n. 1 a declaration; a forthright statement. 2 the act or an instance of asserting. 3 (also self-assertion) insistence on …
Concise Oxford English Dictionary
ASSERTION — n.1 a declaration; a forthright statement. 2 the act or an instance of asserting. 3 (also self-assertion) insistence on the …
Oxford English vocab
CHECKER — ( checkers) 1. Checkers is a game for two people, played with 24 round pieces on a board. ( AM; …
Collins COBUILD Advanced Learner's English Dictionary
CHECKER — noun COLLOCATIONS FROM CORPUS ■ NOUN spell ▪ A spell checker , word count feature and thesaurus are all included …
Longman DOCE5 Extras English vocabulary
ASSERTION — noun COLLOCATIONS FROM OTHER ENTRIES a bold statement/assertion/claim ▪ In a surprisingly bold statement, the couple said they had no …
Longman DOCE5 Extras English vocabulary
CHECKER — [noun] [C] USA checker is a cashier.
Cambridge English vocab
ASSERTION — [noun] [C]Despite her assertion that she was innocent, she was found guilty. [+ that clause]These repeated assertions that AIDS cannot …
Cambridge English vocab
ASSERTION — noun ADJECTIVE ▪ bold , confident , strong ▪ dogmatic , general , sweeping ▪ sweeping ~s about the role …
Oxford Collocations English Dictionary
ASSERTION — n. 25B6; noun I questioned his assertion : DECLARATION, contention, statement, claim, opinion, proclamation, announcement, pronouncement, protestation, avowal; formal averment; …
Concise Oxford Thesaurus English vocabulary
CHECKER — (1941– ) a US singer who was popular in the 1960s. He is mainly remembered for The Twist (1960) which …
Oxford Guide to British and American Culture English vocabulary
ASSERTION — n. 1 statement, declaration, affirmation, contention, asseveration, averment, avowal, pronouncement; Law affidavit, deposition He made the assertion that he had …
Oxford Thesaurus English vocab
CHECKER — I = chequer II сущ.; амер. шашка (в игре в шашки) контролер, учетчик; счетчик - *'s count учет, проводимый учетчиком …
Большой Англо-Русский словарь
ASSERTION — сущ. 1) утверждение to make an assertion ≈ высказать утверждение to deny, refute an assertion ≈ опровергнуть утверждение bold, sweeping, …
Большой Англо-Русский словарь
CHECKER — _I ʹtʃekə n 1. см. check2 II + -er 2. 1> контролёр, учётчик; счётчик checker's count - учёт, проводимый учётчиком …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ASSERTION — assertion.ogg əʹsɜ:ʃ(ə)n n 1. утверждение mere assertion - голословное утверждение 2. 1> юр. заявление ( прав, претензий ) 2> притязание …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
CHECKER — 1) проверочное устройство; средство контроля 2) вчт. программа проверки 3) контрольно-измерительный прибор 4) насадка ( см. тж checkerwork ) 5) …
Большой Англо-Русский политехнический словарь
CHECKER — 1) проверочное устройство; средство контроля 2) вчт. программа проверки 3) контрольно-измерительный прибор 4) насадка (см. тж checkerwork) 5) старший инженер (в конструкторском бюро) 6) кладовщик; …
Большой Англо-Русский политехнический словарь - РУССО
CHECKER — 1) контролер 2) средство контроля; проверочный блок 3) вчт. программа контроля 4) насадка 5) шашка 6) делить на квадраты • vertical pass checker — вертикальная насадка - continuity …
Англо-Русский научно-технический словарь
ASSERTION — 1) утверждение 2) суждение - autodual assertion - conditional assertion - existential assertion - false assertion - final assertion - global assertion - law of assertion - local assertion - …
Англо-Русский научно-технический словарь
CHECKER — _I ʹtʃekə n 1. см. check2 II + -er 2. 1> контролёр, учётчик; счётчик checker's count - учёт, проводимый учётчиком …
Большой новый Англо-Русский словарь
ASSERTION — n 1. утверждение mere assertion - голословное утверждение 2. 1> юр. заявление ( прав, претензий ) 2> притязание 3. лог. …
Большой новый Англо-Русский словарь
ASSERTION — сущ. 1) утверждение to make an assertion — высказать утверждение to deny, refute an assertion — опровергнуть утверждение bold, sweeping, …
Англо-Русский словарь по общей лексике
CHECKER — I [' ў°†] checker.wav - chequer II [' ў°†] checker.wav сущ.; амер. шашка (в игре в шашки)
Англо-Русский словарь общей лексики
ASSERTION — сущ. 1) утверждение to make an assertion — высказать утверждение to deny, refute an assertion — опровергнуть утверждение bold, sweeping, unfounded assertion — огульное …
Англо-Русский словарь общей лексики
CHECKER — 1) испытательная установка 2) контрольный прибор 3) контролёр • - blank checker - cluster gear checker - hob-and-cutter sharpening checker …
Англо-Русский словарь по машиностроению и автоматизации производства 2
CHECKER — 1) испытательная установка 2) контрольный прибор 3) контролёр • - blank checker - cluster gear checker - hob-and-cutter sharpening checker - involute checker with permanent master base-circle …
Англо-Русский словарь по машиностроению и автоматизации производства
ASSERTION — _n. 1> утверждение; a mere assertion - голословное утверждение 2> притязание 3> _лог. суждение
Англо-Русский словарь Мюллера - 24 редакция
ASSERTION — n. 1. утверждение; a mere assertion - голословное утверждение 2. притязание 3. лог. суждение
Англо-Русский словарь Мюллера - редакция bed
CHECKER — контрольное устройство проверочный блок средство контроля контролирующая программа design-rule checker spelling checker style checker syntax checker
Англо-Русский словарь по компьютерам
CHECKER — 1) проверочное устройство, проверочный блок; средство или устройство контроля 2) программа контроля, контролирующая программа • - assertion checker - codeword checker - compatibility checker - consistency …
Англо-Русский словарь по вычислительной технике и программированию
ASSERTION — _n. 1> утверждение; a mere assertion голословное утверждение 2> притязание 3> _лог. суждение
Англо-Русский словарь Мюллера
CHECKER — контролёр; контролёр, следящий за выполнением заказов покупателей - time checker
Англо-Русский словарь по экономике и финансам
ASSERTION — 1) утверждение 2) заявление, отстаивание, защита (прав) 3) притязание • - assertion of right - forcible assertion of private right - forcible assertion of right - naked …
Англо-Русский юридический словарь
CHECKER — 1) испытательное устройство 2) контролёр 3) программа проверки 4) pl шрифтовые знаки для печатания шахматных фигур 5) оператор, контролирующий тетради …
Англо-Русский словарь по полиграфии и издательскому делу
CHECKER — "Чекер" Вместительный автомобиль такси, выполненный в стиле конца 50-х гг. Выпускался компанией "Чекер моторс" [Checker Motors Corp.], г. Каламазу, шт. Мичиган. …
CHECKER — "Чекер" Вместительный автомобиль такси, выполненный в стиле конца 50-х гг. Выпускался компанией "Чекер моторс" [Checker Motors Corp.], г. Каламазу, шт. …
CHECKER — в соч. - battery checker
Англо-Русский автомобильный словарь - Руссо

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

← ASSERTION BOX ASSERTION OPERATOR→