FORMAL PROGRAM PROOF

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

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

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

FORMAL PROGRAM PROOF — формальное доказательство правильности программы
Большой Англо-Русский словарь
FORMAL PROGRAM PROOF — формальное доказательство правильности программы
Англо-Русский словарь по компьютерам
FORMAL PROGRAM PROOF — формальное доказательство правильности программы
Russian-English Edic
FORMAL PROGRAM PROOF — формальное доказательство правильности программы
Англо-Русский словарь компьютерных терминов
FORMAL PROGRAM PROOF — формальное доказательство правильности программы
Новый большой Англо-Русский словарь
FORMAL — adj formal
Interlingua English vocab
PROGRAM — [c mediumvioletred] (as used in expressions) Point Four Program regional development program {{link=stored program concept">stored program concept
Английский словарь Британика
PROOF — I. ˈprüf noun ( -s ) Etymology: Middle English proof, prove, alteration (influenced by proven to prove) of preef, preve, …
Webster's New International English Dictionary
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
FORMAL
Webster's New International English Dictionary
FORMAL — (a.) Having the form or appearance without the substance or essence; external; as, formal duty; formal worship; formal courtesy, etc.
Английский словарь Webster
FORMAL — (a.) Devoted to, or done in accordance with, forms or rules; punctilious; regular; orderly; methodical; of a prescribed form; exact; …
Английский словарь Webster
FORMAL — (a.) Done in due form, or with solemnity; according to regular method; not incidental, sudden or irregular; express; as, he …
Английский словарь Webster
FORMAL — ( a. ) Having the form or appearance without the substance or essence; external; as, formal duty; formal worship; formal …
Webster's Revised Unabridged English Dictionary
PROOF — /proohf/ , n. 1. evidence sufficient to establish a thing as true, or to produce belief in its truth. 2. …
Random House Webster's 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
FORMAL — formal 1 — formalness , n. /fawr"meuhl/ , adj. 1. being in accordance with the usual requirements, customs, etc.; conventional: …
Random House Webster's Unabridged English Dictionary
PROOF — I. ˈprüf noun Etymology: Middle English prof, prove, alteration of preve, from Anglo-French preove, from Late Latin proba, from Latin …
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
FORMAL — I. ˈfȯr-məl adjective Etymology: Middle English, from Latin formalis, from forma Date: 14th century 1. a. : belonging to or …
Merriam-Webster's Collegiate English vocabulary
PROOF — noun firmness of mind; stability not to be shaken. 2. proof ·adj used in proving or testing; as, a proof …
Webster English vocab
FORMAL — adj sound; normal. 2. formal ·adj dependent in form; conventional. 3. formal ·noun ·see methylal. 4. formal ·adj belonging to …
Webster English vocab
PROOF — [proof] n [ME, alter. of preove, fr. OF preuve, fr. LL proba, fr. L probare to prove--more at prove] (13c) …
Merriam-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
FORMAL — [for.mal] adj [ME, fr. MF or L; MF, fr. L formalis, fr. forma] (14c) 1 a: belonging to or constituting …
Merriam-Webster English vocab
PROOF — in liquor distilling, a measure of the absolute alcohol content of a distilled liquor, which is a mixture of alcohol …
Britannica English vocabulary
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
PROOF — / pruːf; NAmE / noun , adjective , verb ■ noun 1. [ U , C ] proof (of sth …
Oxford Advanced Learner's 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
FORMAL — / ˈfɔːml; NAmE ˈfɔːrml/ adjective 1. ( of a style of dress, speech, writing, behaviour, etc. ) very correct and …
Oxford Advanced Learner's English Dictionary
PROOF — I. proof 1 S3 W3 /pruːf/ BrE AmE noun [ Word Family: verb : ↑ prove ≠ ↑ disprove ; …
Longman Dictionary of Contemporary English
PROGRAM — I. pro ‧ gram 1 W1 /ˈprəʊɡræm $ ˈproʊ-/ BrE AmE noun [countable] [ Date: 1600-1700 ; Language: French ; …
Longman Dictionary of Contemporary English
FORMAL — I. form ‧ al 1 S2 W2 /ˈfɔːm ə l $ ˈfɔːr-/ BrE AmE adjective [ Word Family: noun : …
Longman Dictionary of Contemporary English
PROOF — n., adj., & v. --n. 1 facts, evidence, argument, etc. establishing or helping to establish a fact (proof of their …
Английский основной разговорный словарь
FORMAL — adj. & n. --adj. 1 used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Английский основной разговорный словарь
PROOF — n., adj., & v. n. 1 facts, evidence, argument, etc. establishing or helping to establish a fact (proof of their …
Concise Oxford English Dictionary
FORMAL — adj. & n. adj. 1 used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Concise Oxford English Dictionary
PROOF — n., adj., & v. --n. 1. facts, evidence, argument, etc. establishing or helping to establish a fact (proof of their …
Oxford English vocab
FORMAL — adj. & n. --adj. 1. used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Oxford English vocab
-PROOF — ( -proofs, -proofing, -proofed) 1. -proof combines with nouns and verbs to form adjectives which indicate that something cannot be …
Collins COBUILD Advanced Learner's English Dictionary
PROOF — ( proofs) Frequency: The word is one of the 3000 most common words in English. 1. Proof is a fact, …
Collins COBUILD Advanced Learner's English Dictionary
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
FORMAL — ( formals) Frequency: The word is one of the 1500 most common words in English. 1. Formal speech or behaviour …
Collins COBUILD Advanced Learner's English Dictionary
FORMAL — (~s) Frequency: The word is one of the 1500 most common words in English. 1. Formal speech or behaviour is …
Collins COBUILD - Толковый словарь английского языка для изучающих язык
PROOF — I. noun COLLOCATIONS FROM OTHER ENTRIES conclusive proof/evidence/findings etc ▪ The investigation failed to provide any conclusive evidence. documentary evidence/proof …
Longman DOCE5 Extras English vocabulary
PROGRAM — I. noun COLLOCATIONS FROM OTHER ENTRIES a computer program (= a set of instructions stored inside a computer ) ▪ …
Longman DOCE5 Extras English vocabulary
FORMAL — I. adjective COLLOCATIONS FROM OTHER ENTRIES a formal announcement ▪ A formal announcement will be made in Parliament. a formal …
Longman DOCE5 Extras English vocabulary
PROGRAM — n. Point Four Program program computer regional development program stored program concept
Britannica Concise Encyclopedia
PROOF — Synonyms and related words : Christophany, Ditto copy, Photostat, Satanophany, Xerox, Xerox copy, absolute indication, account, acid test, acquaintance, affirmation, …
Moby Thesaurus English vocabulary
PROGRAM — Synonyms and related words : Beveridge Plan, Cultural Revolution, Fair Deal, Great Society, Marshall Plan, New Deal, New Frontier, Philharmonic …
Moby Thesaurus English vocabulary
PROGRAM — noun 1 set of instructions for a computer ADJECTIVE ▪ computer , software ▪ analysis , database , design , …
Oxford Collocations English Dictionary
FORMAL — n. 25B6; adjective a formal dinner : CEREMONIAL, ceremonious, ritualistic, ritual, conventional, traditional; stately, courtly, solemn, dignified; elaborate, ornate, dressy. …
Concise Oxford Thesaurus English vocabulary
FORMAL — 1. FORmula MAnipulation Language. An early Fortran extension for symbolic mathematics . ["FORMAL, A Formula Manipulation Language", C.K. Mesztenyi, Computer …
FOLDOC Computer English Dictionary
PROOF — n. 1 evidence, verification, corroboration, confirmation, validation, authentication, ratification, substantiation; documentation, document, facts, data, certification, testimony, Colloq ammunition Is there …
Oxford Thesaurus English vocab
FORMAL — adj. 1 standard, conventional, customary, established, prescribed, regular, normal, correct, proper; strict, formulaic, inflexible, punctilious, exacting, unchanging, methodical, orderly, systematic, …
Oxford Thesaurus English vocab
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are …
Большой Англо-Русский словарь
PROGRAM — 1. сущ. 1) программа а) проект; план действий to carry out programme, to implement a programme ≈ осуществлять/претворять в жизнь …
Большой Англо-Русский словарь
FORMAL — прил. 1) а) относящийся к внешней стороне (вопроса, проблемы), формальный б) мат., лог. строгий, формальный (о максимально точном и выразительном …
Большой Англо-Русский словарь
PROOF — proof.ogg 1. pru:f n 1. доказательство; подтверждение proof positive - неопровержимое доказательство /подтверждение/ documentary proof, proof by documentary evidence - …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FORMAL — formal.ogg 1. ʹfɔ:m(ə)l n амер. разг. 1. pl = formal dress 2. мероприятие, на котором участники должны быть в вечерних …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROOF — 1) проверка; проба 2) матем. доказательство 3) корректурный оттиск, корректура 4) полигр. пробный оттиск; пробное изображение; кфт. пробный отпечаток 5) …
Большой Англо-Русский политехнический словарь
PROGRAM — 1) программа || программировать, составлять [подготавливать] программу; разрабатывать программу || программный 2) план; программа; проект 3) осуществление программы, проекта, плана …
Большой Англо-Русский политехнический словарь
PROOF — 1) проверка; проба 2) матем. доказательство 3) корректурный оттиск, корректура 4) полигр. пробный оттиск; пробное изображение; кфт. пробный отпечаток 5) крепость (спирта и спиртных …
Большой Англо-Русский политехнический словарь - РУССО
PROGRAM — 1) программа || программировать, составлять [подготавливать] программу; разрабатывать программу || программный 2) план; программа; проект 3) осуществление программы, проекта, плана • to launch a …
Большой Англо-Русский политехнический словарь - РУССО

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

← FORMAL PART FORMAL PROGRAM VALIDATION→