Книга: «Верификация»
|
В различных сферах деятельности человека под верифика?цией (от лат. verus — «истинный» и facere — «делать») могут подразумеваться разные понятия. Например: Данное издание представляет собой компиляцию сведений, находящихся в свободном доступе в среде Интернет в целом, и в информационном сетевом ресурсе "Википедия" в частности. Собранная по частотным запросам указанной тематики, данная компиляция построена по принципу подбора близких информационных ссылок, не имеет самостоятельного сюжета, не содержит никаких аналитических материалов, выводов, оценок морального, этического, политического, религиозного и мировоззренческого характерав отношении главной тематики, представляя собой исключительно фактологический материал. Издательство: "Книга по Требованию" (2012)
ISBN: 978-5-5128-6344-2 |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| Э. М. Кларк, О. Грамберг, Д. Пелед | Верификация моделей программ. Model Checking | В монографии всемирно известных специалистов в области математической логики и теории вычислений… — МЦНМО, (формат: 60x90/16, 416 стр.) Подробнее... | 2002 | 236 | бумажная книга |
| Серков Аркадий | Верификация гипотезы М. Фарадея о силовых линиях в космосе. Силовые линии М. Фарадея в космосе | Конкретизируя гипотезу М. Фарадея, гравитационное поле рассматривается как вязко-упругое тело, которое… — OmniScriptum GmbH&Co. KG, - Подробнее... | 2015 | 5377 | бумажная книга |
| Ю. Г. Карпов | Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM) | В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся… — БХВ-Петербург, (формат: 70x100/16, 552 стр.) Подробнее... | 2010 | 516 | бумажная книга |
| Аверина Т.А. | Численные методы. Верификация алгоритмов решения систем со случайной структурой. Учебное пособие для вузов | В данном учебном пособии проводится верификация построенных методов и сравнение их с известными… — Юрайт, Университеты России Подробнее... | 2018 | 578 | бумажная книга |
| Татьяна Александровна Аверина | Численные методы. Верификация алгоритмов решения систем со случайной структурой. Учебное пособие для вузов | В данном учебном пособии проводится верификация построенных методов и сравнение их с известными… — ЮРАЙТ, Университеты России электронная книга Подробнее... | 2018 | 349 | электронная книга |
| Аверина Т.А. | Численные методы. Верификация алгоритмов решения систем со случайной структурой. Учебное пособие для вузов | В данном учебном пособии проводится верификация построенных методов и сравнение их с известными… — ЮРАЙТ, Университеты России Подробнее... | 2018 | 748 | бумажная книга |
| Ю. Г. Карпов | Model Checking.Верификация параллельных и распределенных программных систем | В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся… — БХВ-Петербург, электронная книга Подробнее... | 2009 | 399 | электронная книга |
| Бибило П.Н. | Моделирование и верификация цифровых систем на языке VHDL | В настоящем издании рассматриваются подготовка тестирующих программ, моделирование и верификация… — URSS, - Подробнее... | 2017 | 632 | бумажная книга |
| Бибило П., Авдеев Н. | Моделирование и верификация цифровых систем на языке VHDL | В настоящем издании рассматриваются подготовка тестирующих программ, моделирование и верификация… — (формат: Мягкая глянцевая, 344 стр.) Подробнее... | 2017 | 649 | бумажная книга |
| П. Н. Бибило, Н. А. Авдеев | Моделирование и верификация цифровых систем на языке VHDL | В настоящем издании рассматриваются подготовка тестирующих программ, моделирование и верификация… — URSS, (формат: 60x90/16, 344 стр.) Подробнее... | 2017 | 818 | бумажная книга |
См. также в других словарях:
ВЕРИФИКАЦИЯ — (этим. см. предыд. сл.). Удостоверение, проверка. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ВЕРИФИКАЦИЯ свидетельство, удостоверение в подлинности. Словарь иностранных слов, вошедших в состав русского языка.… … Словарь иностранных слов русского языка
ВЕРИФИКАЦИЯ — проверка документов, расчетов и др. Словарь финансовых терминов. Верификация Верификация установление соответствия принятой и переданной информации с помощью логических методов. По английски: Verification См. также: Информационные взаимодействия… … Финансовый словарь
ВЕРИФИКАЦИЯ — (от лат. verificatio доказательство, подтверждение) установление истинности или эмпирической осмысленности научных утверждений. Этот термин получил широкое распространение в связи с неопозитивистской программой эмпирического обоснования науки. С… … Философская энциклопедия
Верификация — Верификация ♦ Verification Проверка истинности высказывания с целью его оценки. Так, расчет можно проверить, повторив ту же операцию или проделав другую, а гипотезу – посредством опыта. Правда, остается вопрос об истинности самой проверки –… … Философский словарь Спонвиля
ВЕРИФИКАЦИЯ — в культурологии (позднелат. verificatio доказательство, подтверждение верности или истинности чего либо; от лат. verus истинный и facio делаю) установление истинности тех или иных суждений (утверждений и отрицаний) о культуре в знании о… … Энциклопедия культурологии
верификация — проверка, сличение, подтверждение, свидетельство Словарь русских синонимов. верификация сущ., кол во синонимов: 5 • валидация (4) • … Словарь синонимов
