FORMAL METHODS

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

Верификация

American English-Russian dictionary. Американский Англо-Русский словарь. 2012

FORMAL METHODS — < mathematics , specification > Mathematically based techniques for the specification , development and verification of software and hardware systems. …
FOLDOC Computer English Dictionary
FORMAL — adj formal
Interlingua English vocab
METHODS — (Noun) pamaagi
English-Visayan vocabulary
FORMAL
Webster's New International English Dictionary
METHODS — plural of method
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
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
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
FORMAL — adj sound; normal. 2. formal ·adj dependent in form; conventional. 3. formal ·noun ·see methylal. 4. formal ·adj belonging to …
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
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
FORMAL — I. form ‧ al 1 S2 W2 /ˈfɔːm ə l $ ˈfɔːr-/ BrE AmE adjective [ Word Family: noun : …
Longman Dictionary of Contemporary English
FORMAL — adj. & n. --adj. 1 used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Английский основной разговорный словарь
FORMAL — adj. & n. adj. 1 used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Concise Oxford English Dictionary
FORMAL — adj. & n. --adj. 1. used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Oxford English vocab
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 - Толковый словарь английского языка для изучающих язык
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
METHODS — • ↑ strongarm tactics/methods
Longman Activator English vocab
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
METHODS — < language > A line-oriented Smalltalk for PC 's, produced by Digitalk ca 1985. Methods was the predecessor of Smalltalk/V …
FOLDOC Computer English Dictionary
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
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
.METHODS — Likely a text file (e.g., README.METHODS)
Computer Abbreviations English vocabulary
METHODS — методика attack problem by methods ≈ разрабатывать проблему методами thermal reduction methods ≈ метал. металлотермия - manufacturing methods Методы methods: …
Большой Англо-Русский словарь
FORMAL — прил. 1) а) относящийся к внешней стороне (вопроса, проблемы), формальный б) мат., лог. строгий, формальный (о максимально точном и выразительном …
Большой Англо-Русский словарь
METHODS — Методы
Американский Англо-Русский словарь
FORMAL — formal.ogg 1. ʹfɔ:m(ə)l n амер. разг. 1. pl = formal dress 2. мероприятие, на котором участники должны быть в вечерних …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
METHODS — методика attack problem by methods — разрабатывать проблему методами thermal reduction methods — метал металлотермия - manufacturing methods
Англо-Русский научно-технический словарь
FORMAL — formal прил.1) а) относящийся к внешней стороне (вопроса, проблемы), формальный б) матем., логика строгий, формальный (о максимально точном и выразительном …
Англо-Русский словарь Tiger
FORMAL — 1. ʹfɔ:m(ə)l n амер. разг. 1. pl = formal dress 2. мероприятие, на котором участники должны быть в вечерних туалетах …
Большой новый Англо-Русский словарь
FORMAL — _a. 1> официальный; formal permission - официальное разрешение - formal call 2> формальный; номинальный - formal acquiescence 3> относящийся к …
Англо-Русский словарь Мюллера - 24 редакция
FORMAL — a. 1. официальный; formal permission - официальное разрешение - formal call 2. формальный; номинальный - formal acquiescence 3. относящийся к …
Англо-Русский словарь Мюллера - редакция bed
FORMAL — прил. официальный - formal approach - formal authority - formal bid - formal framework - formal organization - formal relationship
Англо-Русский словарь по экономике
METHODS — Likely a text file (eg, READMEMETHODS)
Russian-English Edic
FORMAL — _a. 1> официальный; formal call официальный визит; formal permission официальное разрешение 2> формальный; номинальный; formal acquiescence формальное согласие 3> относящийся …
Англо-Русский словарь Мюллера
METHODS — сущ. мн.ч. 1) методика (преподавания); 2) система приемов систематизации и анализа социальных фактов.
Англо-Русский социологический энциклопедический словарь
FORMAL — 1. прил. 1) общ. официальный, формальный, надлежаще оформленный(выполненный по установленной форме, в соответствии с каким-либо законом); formal agreement [notice, protest] — официальное …
Новый англо-русский толковый словарь по менеджменту и экономике труда
METHODS — методика attack problem by methods ≈ разрабатывать проблему методами thermal reduction methods ≈ метал. металлотермия - manufacturing methods Методы methods: …
Новый большой Англо-Русский словарь
FORMAL — прил. 1) а) относящийся к внешней стороне (вопроса, проблемы), формальный б) мат., лог. строгий, формальный (о максимально точном и выразительном …
Новый большой Англо-Русский словарь
TUNNELS AND UNDERGROUND EXCAVATIONS — horizontal underground passageway produced by excavation or occasionally by nature's action in dissolving a soluble rock, such as limestone. A …
Britannica English vocabulary
STATISTICS — the science of collecting, analyzing, presenting, and interpreting data. Governmental needs for census data as well as information about a …
Britannica English vocabulary
NUMERICAL ANALYSIS — the general study of methods for solving complicated problems, using the basic operations of arithmetic (addition, subtraction, multiplication, and division). …
Britannica English vocabulary
METALLURGY — the art and science of extracting metals from their ores and modifying the metals for use. Customarily, metallurgy refers to …
Britannica English vocabulary
EDUCATION, HISTORY OF: EDUCATION IN ASIAN CIVILIZATIONS — Education in Asian civilizations: c. 700 to the eve of Western influence India During its medieval period, India was ruled …
Britannica English vocabulary
DATING — in geology, determining a chronology or calendar of events in the history of the Earth, using to a large degree …
Britannica English vocabulary
CONTRACEPTION
Britannica English vocabulary
COMPUTER SCIENCE — the study of computers, including their design (architecture) and their uses for computations, data processing, and systems control. The field …
Britannica English vocabulary
COMMERCIAL FISHING
Britannica English vocabulary
ANALYSIS — in physics and chemistry, determination of the physical properties or chemical composition of samples of matter or, particularly in modern …
Britannica English vocabulary
METHOD — meth ‧ od S1 W1 AC /ˈmeθəd/ BrE AmE noun [ Word Family: noun : ↑ method , ↑ methodology …
Longman Dictionary of Contemporary English
TRADITIONAL — adjective COLLOCATIONS FROM OTHER ENTRIES a traditional ceremony ▪ The tribe still practise many of their traditional ceremonies. a traditional …
Longman DOCE5 Extras English vocabulary
TEACHING — noun COLLOCATIONS FROM OTHER ENTRIES a career in journalism/politics/teaching etc ▪ At the age of 15, he knew he wanted …
Longman DOCE5 Extras English vocabulary
QUANTITATIVE — adjective COLLOCATIONS FROM CORPUS ■ NOUN analysis ▪ Where quantitative analysis requires mathematical and computer skills, area studies require language …
Longman DOCE5 Extras English vocabulary
METHOD — noun COLLOCATIONS FROM OTHER ENTRIES a cooking method ▪ Adjust your cooking methods for healthy eating. a form/method/system of communication …
Longman DOCE5 Extras English vocabulary
CONVENTIONAL — adjective COLLOCATIONS FROM OTHER ENTRIES a conventional war (= not nuclear ) ▪ A conventional war would still cause unacceptable …
Longman DOCE5 Extras English vocabulary
ANALYSE — verb COLLOCATIONS FROM OTHER ENTRIES analyse/test a sample ▪ All the samples were tested for bacteria. COLLOCATIONS FROM CORPUS ■ …
Longman DOCE5 Extras English vocabulary
MODERN
Longman Activator English vocab
METHOD — 1) метод; способ; средство 2) система; порядок 3) технология 4) методика • to introduce a new method of construction — внедрить новый метод строительства to employ …
Англо-Русский словарь по строительству и новым строительным технологиям
METHOD — метод, способ; система; порядок; методика; технология - method of analysis - method of application - method of attack - method …
Англо-Русский строительный словарь

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

← FORMAL LANGUAGE

FORMAL SEMANTICS OF PROGRAMMING LANGUAGES→