PROGRAM CORRECTNESS PROVER

Англо-русский перевод PROGRAM CORRECTNESS PROVER

средства доказательства правильности (работы) программ

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

PROGRAM CORRECTNESS PROVER — средства доказательства правильности (работы) программ
Большой Англо-Русский словарь
PROGRAM CORRECTNESS PROVER — средства доказательства правильности (работы) программ
Англо-Русский словарь по компьютерам
PROGRAM CORRECTNESS PROVER — средства доказательства правильности (работы) программ
Англо-Русский словарь компьютерных терминов
PROGRAM CORRECTNESS PROVER — средства доказательства правильности (работы) программ
Новый большой Англо-Русский словарь
CORRECTNESS — katinuud
English-Visayan vocabulary
PROVER — noun see: prove
Толковый словарь английского языка - Merriam Webster
CORRECTNESS — noun see: correct
Толковый словарь английского языка - Merriam Webster
PROGRAM — [c mediumvioletred] (as used in expressions) Point Four Program regional development program {{link=stored program concept">stored program concept
Английский словарь Британика
PROGRAM — I. ˈprōˌgram, -raam, -ōgrəm noun or pro·gramme -ˌgram ( -s ) Etymology: in sense 1, from Late Latin programma, from …
Webster's New International English Dictionary
PROVER — ˈprüvə(r) noun ( -s ) Etymology: Middle English, from proven to prove + -er — more at prove : one …
Webster's New International English Dictionary
CORRECTNESS — noun ( -es ) : the quality or state of being correct
Webster's New International English Dictionary
PROVER — (n.) One who, or that which, proves.
Английский словарь Webster
CORRECTNESS — (n.) The state or quality of being correct; as, the correctness of opinions or of manners; correctness of taste; correctness …
Английский словарь Webster
PROVER — ( n. ) One who, or that which, proves.
Webster's Revised Unabridged English Dictionary
CORRECTNESS — ( n. ) The state or quality of being correct; as, the correctness of opinions or of manners; correctness of …
Webster's Revised Unabridged English Dictionary
PROGRAM — /proh"gram, -greuhm/ , n. , v. , programmed or programed, programming or programing . n. 1. a plan of action …
Random House Webster's Unabridged English Dictionary
PROVER — n. one who verifies by giving evidence, one who demonstrates
Толковый словарь английского языка - Редакция bed
CORRECTNESS — n. properness, justness; honesty, frankness
Толковый словарь английского языка - Редакция bed
PROVER — see prove
Merriam-Webster's Collegiate English vocabulary
CORRECTNESS — see correct II
Merriam-Webster's Collegiate English vocabulary
PROGRAM — I. ˈprō-ˌgram, -grəm noun Etymology: French programme agenda, public notice, from Greek programma, from prographein to write before, from pro- …
Merriam-Webster's Collegiate English vocabulary
PROVER — noun one who, or that which, proves.
Webster English vocab
CORRECTNESS — noun the state or quality of being correct; as, the correctness of opinions or of manners; correctness of taste; correctness …
Webster English vocab
PROGRAM — [pro.gram] n [F programme agenda, public notice, fr. Gk programma, fr. prographein to write before, fr. pro- before + graphein …
Merriam-Webster English vocab
PROGRAM — program BrE AmE ˈprəʊ ɡræm § -ɡrəm AmE ˈproʊ- ▷ program|ed, ~med d ▷ program|ing, ~ming ɪŋ ▷ program|s z …
Longman Pronunciation English Dictionary
PROGRAM — / ˈprəʊgræm; NAmE ˈproʊ-/ noun , verb ■ noun 1. ( computing ) a set of instructions in code that …
Oxford Advanced Learner's English Dictionary
CORRECTNESS — ➡ correct
Oxford Advanced Learner's English Dictionary
PROGRAM — I. pro ‧ gram 1 W1 /ˈprəʊɡræm $ ˈproʊ-/ BrE AmE noun [countable] [ Date: 1600-1700 ; Language: French ; …
Longman Dictionary of Contemporary English
CORRECTNESS — See main entry: ↑ correct
Longman Dictionary of Contemporary English
PROGRAM — ( programs, programming, programmed) Frequency: The word is one of the 1500 most common words in English. 1. A program …
Collins COBUILD Advanced Learner's English Dictionary
CORRECTNESS — see correct
Collins COBUILD Advanced Learner's English Dictionary
CORRECTNESS — see correct
Collins COBUILD - Толковый словарь английского языка для изучающих язык
PROGRAM — I. noun COLLOCATIONS FROM OTHER ENTRIES a computer program (= a set of instructions stored inside a computer ) ▪ …
Longman DOCE5 Extras English vocabulary
CORRECTNESS — [noun] [U](slightly formal) It is impossible to question the correctness of the data.He speaks with such correctness (= care) that …
Cambridge English vocab
PROGRAM — n. Point Four Program program computer regional development program stored program concept
Britannica Concise Encyclopedia
PROGRAM — Synonyms and related words : Beveridge Plan, Cultural Revolution, Fair Deal, Great Society, Marshall Plan, New Deal, New Frontier, Philharmonic …
Moby Thesaurus English vocabulary
CORRECTNESS — n. Function: noun 1 Synonyms: ORDER 7, correctitude, decorousness, decorum, orderliness, properness, propriety, seemliness 2 Synonyms: PRECISION , accuracy, definiteness, …
Collegiate Thesaurus English vocab
CORRECTNESS — n. Accuracy, exactness, nicety, precision, truth, propriety, faultlessness.
Dictionary of English Synonyms
CORRECTNESS — noun 1. Synonyms: order 7, correctitude, decorousness, decorum, orderliness, properness, propriety, seemliness 2. Synonyms: precision , accuracy, definiteness, definitiveness, definitude, …
Collegiate Thesaurus English vocabulary
CORRECTNESS — noun
Oxford Collocations Dictionary Second Edition
PROGRAM — noun 1 set of instructions for a computer ADJECTIVE ▪ computer , software ▪ analysis , database , design , …
Oxford Collocations English Dictionary
CORRECTNESS — noun ADJECTIVE ▪ grammatical , ideological , political ( sometimes disapproving ) ▪ Political ~ is the principle of avoiding …
Oxford Collocations English Dictionary
PROVER — средство доказательства automatic theorem prover program correctness prover (полиграфия) снимающий пробный оттиск
Большой Англо-Русский словарь
PROGRAM — 1. сущ. 1) программа а) проект; план действий to carry out programme, to implement a programme ≈ осуществлять/претворять в жизнь …
Большой Англо-Русский словарь
CORRECTNESS — 1) правильность 2) корректность 3) верность 4) справедливость ∙ - coefficient of correctness - correctness of forecast - correctness problem …
Большой Англо-Русский словарь
CORRECTNESS — Точность
Американский Англо-Русский словарь
PROVER — n 1. см. prove + -er 2. полигр. снимающий пробный оттиск
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
CORRECTNESS — correctness.ogg kəʹrektnıs n 1. правильность, точность, исправность she spoke with pedantic correctness of pronunciation - она выговаривала слова слишком уж …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROVER — средство контроля - heat prover - pipe prover
Большой Англо-Русский политехнический словарь
PROGRAM — 1) программа || программировать, составлять [подготавливать] программу; разрабатывать программу || программный 2) план; программа; проект 3) осуществление программы, проекта, плана …
Большой Англо-Русский политехнический словарь
PROVER — средство контроля - heat prover - pipe prover
Большой Англо-Русский политехнический словарь - РУССО
PROGRAM — 1) программа || программировать, составлять [подготавливать] программу; разрабатывать программу || программный 2) план; программа; проект 3) осуществление программы, проекта, плана • to launch a …
Большой Англо-Русский политехнический словарь - РУССО
PROGRAM — 1) операция 2) программа 3) программировать 4) программный 5) разработка • application-specific program package — компьют. пакет прикладных программ applications program RAM — компьют. память програмная dual liner …
Англо-Русский научно-технический словарь
CORRECTNESS — 1) верность, правильность 2) корректность 3) справедливость • - correctness of forecast
Англо-Русский научно-технический словарь
PROVER — доказательство
Англо-Русский словарь Tiger
CORRECTNESS — правильность
Англо-Русский словарь Tiger
PROVER — (n) снимающий пробный оттиск
English-Russian Lingvistica'98 dictionary
CORRECTNESS — (n) корректность; правильность; правота; состоятельность; точность
English-Russian Lingvistica'98 dictionary
PROVER — n 1. см. prove + -er 2. полигр. снимающий пробный оттиск
Новый большой Англо-Русский словарь - Апресян, Медникова
CORRECTNESS — n 1. правильность, точность, исправность she spoke with pedantic ~ of pronunciation - она выговаривала слова слишком уж правильно 2. …
Новый большой Англо-Русский словарь - Апресян, Медникова
PROVER — n 1. см. prove + -er 2. полигр. снимающий пробный оттиск
Большой новый Англо-Русский словарь
CORRECTNESS — n 1. правильность, точность, исправность she spoke with pedantic correctness of pronunciation - она выговаривала слова слишком уж правильно 2. …
Большой новый Англо-Русский словарь
PROGRAM — программа; управляющая программа, УП || программировать; готовить УП to conversationally program — программировать в диалоговом режиме to display the program …
Англо-Русский словарь по машиностроению и автоматизации производства 2
CORRECTNESS — в соч. - correctness of a measuring instrument - correctness of measurements
Англо-Русский словарь по машиностроению и автоматизации производства 2

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

← PROGRAM CONTROL UNIT PROGRAM COUNTER→