ФОРМАЛЬНА ВЕРИФІКАЦІЯ переклад з української на англійську, translation Ukrainian to English

Великий українсько-англійський словник. New big Russian-English dictionary. 2012

Ще значення слова та переклад ФОРМАЛЬНА ВЕРИФІКАЦІЯ з англійської на українську мову в англо-українських словниках.

Більшість слів цього слова і англійської-російської, російської-англійської англійської мови для Формальна верифікація in dictionaries.

ВЕРИФІКАЦІЯ - f. verification Російський-англійський Dictionary of the Mathematical Sciences
ВЕРИФІКАЦІЯ — Formal verification українсько-американський англійський словник
ВЕРИФІКАЦІЯ — (встановлення справжності) verification українсько-англійський словник загальної тематики
ВЕРИФІКАЦІЯ — (встановлення автентичності) verification українсько-англійський словник - QD
ВЕРИФІКАЦІЯ — verification українсько-Англійський тлумачний словник термінів та скорочень з ВТ, Інтернету та програмування
ВЕРИФІКАЦІЯ - verification ж. (встановлення справжності) verification Великий українсько-англійський словник
ВЕРИФІКАЦІЯ - верифікація verification українсько-Англійська словник Сократ
FORMAL VERIFICATION — формальна верифікація (формальний доказ відповідності програми її специфікації) Великий Англо-Український словник
WELL-FORMEDNESS - лінгв. формальна правильність; відзначеність формальна правильність Великий Англо-український словник
VERIFICATION - сут. 1) контроль, перевірка; звірка Syn : check, examination 2) посвідчення, підтвердження (передбачення, сумніви) 3) юр. засвідчення контролю, здійснення контролю; … Великий Англо-український словник
VERIF -[verification] контроль; перевірка; верифікація Великий Англо-український словник
TIMING VERIFICATION - 1. верифікація синхронізації 2. верифікація тимчасових діаграм; верифікація часових параметрів; верифікація часових співвідношень (у логічній схемі) Великий Англо-український словник
TECHNICAL DIFFICULTY — технічні труднощі, формальні труднощі Великий Англо-український словник
SYSTEM - Існ. 1) а) система Syn: method б) система, пристрій; метод adversary system ≈ система змагальності в суді (щоправда з'ясовується … Великий Англо-український словник
SPEAKER VERIFICATION - встановлення (справжності) особистості промовця, проф. " верифікація диктора" Великий Англо-український словник
SANCTION - 1. істот. 1) офіційне схвалення, дозвіл, підтримка (чого-л.) to give sanction to - схвалювати (що-л.), давати дозвіл на що-л. to … Великий Англо-український словник
PROGRAM VERIFICATION — перевірка правильності [верифікація] програми Великий Англо-Український словник
PLEADING - 1. істот. 1) юр. захист, виступ у ролі адвоката Syn: advocacy, defence 2) мн.; юр. а) заяви, що подаються у … Великий Англо-український словник
MODEL Великий Англо-український словник
MECHANICAL VERIFICATION - автоматична перевірка; автоматична верифікація Великий Англо-український словник
MACHINE VERIFICATION - машинна перевірка; машинна верифікація Великий Англо-український словник
LOGIC - Існ. логіка to apply, use logic ≈ застосовувати логіку There is no logic in their policy. ≈ Їхня політика нелогічна. … Великий Англо-український словник
LOG-EXPONENTIAL - логарифмічно експоненційний formal log-exponential matrixматриця - log-exponential sum Великий Англо-Український словник
LIVERY - I дод. 1) печінка, що нагадує за кольором або консистенцією 2) розг. пов'язаний із розладом або хворобою печінки, що передбачає розлад печінки … Великий Англо-український словник
LETTER - I 1. Існ. 1) буква block letter - велика друкована літера capital letter, large letter, upper-case letter - велика (велика, … Великий Англо-український словник
INVERSE VERIFICATION - мат. інверсна верифікація Великий Англо-український словник
INDIRECT VERIFICATION - мат. непряма верифікація Великий Англо-український словник
GRAMMAR - Існ. 1) граматика категорії grammar context-free grammar comparative grammar descriptive grammar functional grammar generative grammar historic grammar phrase-structure grammar prescriptive … Великий Англо-український словник
FORMALITY - сут. 1) формальна сторона, формальність (дія, процес, процедура встановленого порядку) to complete, go through the formality ≈ виконувати формальності bureaucratic … Великий Англо-український словник
FORMAL VARIABLE - балка. формальна змінна Великий Англо-український словник
FORMAL VALIDITY - мат. формальна обґрунтованість Великий Англо-український словник
FORMAL THEORY - формальна теорія Великий Англо-український словник
FORMAL LOGIC — формальна логіка Великий Англо-український словник
ERROR - Існ. 1) помилка, помилка, помилка (у поглядах, розрахунках і т. д.).
DIRECT VERIFICATION - мат. пряма верифікація Великий Англо-український словник
DIAGNOSTIC VERIFICATION - 1. діагностичнаперевірка 2. верифікація діагностичних процедур Великий Англо-український словник
DELIVERY - Існ. 1) а) поставка, доставка Extraordinary charges for delivery of goods. ≈ Жахливі ціни за доставку. accept delivery delivery … Великий Англо-український словник
FORMAL VERIFICATION — Верифікація Американський Англо-Український словник
FORMAL METHODS — Верифікація Американський Англо-Український словник
TIMING VERIFICATION - верифікація часових параметрів; верифікація тимчасових співвідношень Великий Англо-український політехнічний словник
TIMING VERIFICATION - верифікація часових параметрів; верифікація тимчасових співвідношень Великий Англо-український політехнічний словник - україно
SYSTEM - 1) комплекс 2) безліч 3) область 4) система 5) системний 6) сукупність 7) схемний 8) пристрій • absolutely complete system - абсолютно повна система absolutely direct indecomposable system - абсолютно … Англо-український науково-технічний словник
TIMING VERIFICATION — верифікація синхронізації верифікація часових діаграм верифікація часових співвідношень (у логічній схемі) visual

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

TIMING VERIFICATION - 1) верифікація синхронізації 2) верифікація часових діаграм; верифікація часових параметрів; верифікація тимчасових співвідношень (в логічній схемі) Англо-український словник з обчислювальної техніки та програмування

FORMAL RATIONALITY - формальна раціональність; за М.Веберу - основний принцип соціального та інституційного розвитку. формальна раціональність; за М. Вебером – раціональність як … Англо-український соціологічний енциклопедичний словник

FORMAL LOGIC – формальна логіка; наука про закони виведення нового знання з раніше здобутого знання без спеціальних дослідів чи експериментів, а лише з … Англо-український соціологічний енциклопедичний словник

SOLID-MODEL VERIFICATION — просторова верифікація, верифікація за твердотілими моделями Сучасний Англо-український словник з машинобудування та автоматизації виробництва

IN-PROCESS VERIFICATION — верифікація (УП) у процесі програмування, паралельна верифікація Сучасний Англо-український словник з машинобудування та автоматизації виробництва

VERIFICATION - 1) верифікація, контроль, перевірка а) перевірка правильності виконання операції див. data verification б) у САПР електроніки - перевірка правильності електричних з'єднань принципової … Англо-український тлумачний словник термінів та скорочень з ВТ, Інтернету та програмування

Гуссерль - (Husserl, Edmund) (1859-1938), німецький філософ, засновник феноменології як філософського руху. Завдяки викладацькій діяльності та численним роботам вплинув на … український словник Colier

АНАЛІТИЧНА - переважна течія думки в англомовних країнах 20 ст.; спосіб філософствування, що орієнтується на ідеали ясності, точності та логічної суворості. Останні були … український словник Colier

FORMAL TRANSFER - фін., Бірж. формальна передача (офіційна передача прав на що-л. або самих об'єктів власності (напр. товарів, цінних паперів, майна тощо). Новий Англо-український тлумачнийсловник з фінансових ринків

VOICE VERIFICATION - верифікація (тотожнення) голосу; верифікація (розмовляючого) за голосом Англо-український словник комп'ютерної безпеки

WELL-FORMEDNESS - лінгв. формальна правильність; відзначеність формальна правильність Новий великий Англо-український словник

VERIFICATION - сут. 1) контроль, перевірка; звірка Syn : check, examination 2) посвідчення, підтвердження (передбачення, сумніви) 3) юр. засвідчення контролю, здійснення контролю; … Новий великий Англо-український словник

TIMING VERIFICATION - 1. верифікація синхронізації 2. верифікація тимчасових діаграм; верифікація часових параметрів; верифікація тимчасових співвідношень (у логічній схемі) Новий великий Англо-Український словник

LOGIC - Існ. логіка to apply, use logic ≈ застосовувати логіку There is no logic in their policy. ≈ Їхня політика нелогічна. … Новий великий Англо-український словник

LIVERY - I дод. 1) печінка, що нагадує за кольором або консистенцією 2) розг. пов'язаний із розладом або хворобою печінки, що передбачає розлад печінки… Новий великий Англо-український словник

FORMALITY - сут. 1) формальна сторона, формальність (дія, процес, процедура встановленого порядку) to complete, go through the formality ≈ виконувати формальності bureaucratic … Новий великий Англо-український словник

FORMAL LOGIC — формальна логіка Новий великий Англо-Український словник

ERROR - Існ. 1) помилка, помилка, помилка (у поглядах, розрахунках і т. д.).

DELIVERY - Існ. 1) а) поставка, доставка Extraordinary charges for delivery of goods. ≈ Жахливі ціниза доставку. accept delivery delivery … Новий великий Англо-Український словник