Каталог
Меню
Войти
0Сравнение
0Избранное
Каталог
Войти
0Сравнить
0Избранное

Методы верификации программ

Методы верификации программ
Показать все аналоги
  Сравнить
  В избранное
  Похожие товары
  Видео обзоры

Рекомендательный сервис

  • Общий рейтинг 4.85
  • Рейтинг покупателей 3.58
  • Рейтинг экспертов 4.18
  • Качество материалов 4.55
  • Надежность 4.88
  • Простота в использовании 4.51
  • Ремонтопригодность 4.35
  • Эффективность выполнения своих функций 4.35
  • Коэффициент удивления "Вау!" 4.85
  • Безопасность для пользователя4.88
  • Внешний вид 4.51
  • Удобство в уходе и чистке 4.53
  • Экологическая безопасность 4.11
  • Гарантия на товар 4.55
  • Соответствие стандартам качества 4.81
  • Инновационные технологии 4.51
  • Хит продаж 4.85
  • Скорость морального устаревания 4.53
  • Энергоэффективность 4.31
  • Универсальность использования 4.51
  • Наличие дополнительных функций 4.51
  • Соотношение цена-качество 3.15
  • Практичность и удобство хранения 4.58
  • Стабильность работы в различных условиях 4.18
  • Возможность персонализации 4.01
  • Ликвидность 4.38
  • Индекс рекомендаций 3.55
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Информация о характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и взятая из открытых источников.
Методы верификации программ продается в интернет-магазине Буквоед
Эксперт: Наталья Перова, онлайн-шопинг-гид
Дата рецензии: 28 августа 2025 года
Рекомендация к покупке нейтральная

Отзывы о товаре

Спасибо Ваш отзыв будет опубликован после проверки модераторами.
Добавить отзыв

Доставка покупки

    • Курьерской службой;
    • Самовывоз из магазинов;
    • Самовывоз из постаматов или пунктов выдачи.

Оплата заказа

    • Наличными или картой при самовывозе;
    • Банковской картой на сайте;
    • Банковским переводом для физических и юридических лиц.
  • Наименование: ООО «Новый Книжный Центр»
  • ИНН: 7710422909

Часто задаваемые вопросы

Оплатить покупку возможно банковскими картами, банковским переводом, наличными при получении. Перечень всех способов оплаты доступен при оформлении заказа.
Заказ может быть доставлен курьерской службой, транспортными компаниями, Почтой России. Возможен самовывоз из пунктов выдачи и постаматов. Способ доставки выбирается при оформлении заказа.
Сроки доставки зависят от региона. Обычно это от 1 до 7 рабочих дней. Транспортировка в отдаленные регионы или позиций "под заказ" может достигать до 1 месяца. Точную информацию можно уточнить в карточке товара или у менеджера.
Да, в соответствии с законом «О защите прав потребителя» вы можете вернуть товар в течение 14 дней, если он не был в употреблении и сохранена упаковка.
Да, на большинство товаров предоставляется гарантия от производителя. Срок гарантии указан в описании товара.

Рекомендуем аналогичные товары

Методы верификации программ
Методы верификации программ
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Цена 2115 руб.
СравнитьКупить
2 115 ₽
- 12%
Методы верификации программ
Методы верификации программ
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Цена 2115 руб.
СравнитьКупить
2 115 ₽
Логическое проектирование и верификация систем на SystemVerilog
Логическое проектирование и верификация систем на SystemVerilog
Книга посвящена SystemVerilog - языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации. .Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров. .Издание будет полезно студентам, проходящим вводный курс цифровой схемотехники, а также разработчикам, которые знакомы с Verilog или VHDL, но желают освежить свои навыки или нуждаются в кратком справочнике по SystemVerilog. .Предполагается, что у читателя есть базовая подготовка в области схемотехники и программирования. . .
Цена 2667 руб.
СравнитьКупить
  • Серия

    Справочник Справочник Краткий справочник Книги, которые все ждали Программирование для детей Эксклюзивная классика (Лучшее) Гиппенрейтер(под) Детям о праве Программирование для детей Книги, о которых говорят Красивое тело Справочник Справочники Высший курс Правила работы Детям о важном

  • Издатель

    АСТ Моркнига Мир книги АСТ-Аудиокнига КомКнига Мир Времена 2 Время Транзиткнига Мир Corpus (АСТ) Аудиокнига Москвоведение ИКИ Знак Система

  • Тип носителя

    Шаманов Алексей

  • Эпоха публикации

    8+

  • Направление в научной литературе

    ЛФК Народная медицина Спортивная медицина

2 667 ₽
- 12%
Логическое проектирование и верификация систем на SystemVerilog
Логическое проектирование и верификация систем на SystemVerilog
Книга посвящена SystemVerilog - языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации. .Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров. .Издание будет полезно студентам, проходящим вводный курс цифровой схемотехники, а также разработчикам, которые знакомы с Verilog или VHDL, но желают освежить свои навыки или нуждаются в кратком справочнике по SystemVerilog. .Предполагается, что у читателя есть базовая подготовка в области схемотехники и программирования. . .
Цена 2667 руб.
СравнитьКупить
2 667 ₽
- 12%
Интеграция управления программой и системной инженерии. Методы, инструменты и организационные системы для улучшения результативности интеграции
Интеграция управления программой и системной инженерии. Методы, инструменты и организационные системы для улучшения результативности интеграции
Книга является результатом проекта, который был реализован Институтом управления проектами (Project Management Institute, PMI) и Международным советом по системной инженерии (International Council on Systems Engineering, INCOSE). В книге обсуждается, как организации могут стать более результативнымии эффективными, более чутко реагировать на изменения и добиваться лучших результатов работы благодаря интеграции управления программой и системной инженерии. Описаны понятие интеграции, а также методы и средства интеграции, включая предложенную авторами концептуальную платформу (фреймворк) интеграции, охватывающую шесть ключевых измерений – процессы, практики и инструменты интеграции; организационную среду; компетентность персонала; сопутствующие факторы; результативность интеграции и результативность исполнения программы. Рассмотрены многочисленные примеры успешного внедрения практик интеграции управления программой и системной инженерии и улучшения на этой основе экономических, управленческих и инженерно-технических показателей исполнения программ и деятельности компаний. В контексте интеграции управления программой и системной инженерии также проанализированы примеры неудачных программ. В основу примеров положены сведения, полученные от множества руководителей программ и главных системных инженеров, сотрудничающих с сотнями компаний различного профиля.Книга будет полезна для управленцев, инженеров, преподавателей и других специалистов, занятых вопросами создания сложных технических, социотехнических и организационных систем, а также реализацией программ и проектов в этой области. Она также будет интересна студентам и аспирантам, изучающимуправление проектами и программами, системную инженерию и связанные с ними дисциплины.Издание осуществлено при поддержке Русского института системной инженерии, продолжающего этой книгой свою библиотеку по системной инженерии.
Цена 3035 руб.
СравнитьКупить
  • Серия

    Библиотека для всех Найди и покажи Вопрос - ответ(бол) Детям про ЭТО Книги, которые все ждали Эксклюзивная классика (Лучшее) Персона Гиппенрейтер(под) Детям о праве Книги, о которых говорят Правила работы Библиотека для человека Дальний Восток: героика, труд, путешествия Специальный проект

  • Язык издания

    Русский

  • Издатель

    АСТ Моркнига АСТ-Аудиокнига Гангут Концептуал КомКнига Недра Связь Транзиткнига Перо Corpus (АСТ) Аудиокнига Москвоведение ИКИ СО РАН Русь Система

  • Тип носителя

    Шаманов Алексей

3 035 ₽
- 12%
Интеграция управления программой и системной инженерии. Методы, инструменты и организационные системы для улучшения результативности интеграции
Интеграция управления программой и системной инженерии. Методы, инструменты и организационные системы для улучшения результативности интеграции
Книга является результатом проекта, который был реализован Институтом управления проектами (Project Management Institute, PMI) и Международным советом по системной инженерии (International Council on Systems Engineering, INCOSE). В книге обсуждается, как организации могут стать более результативными и эффективными, более чутко реагировать на изменения и добиваться лучших результатов работы благодаря интеграции управления программой и системной инженерии. Описаны понятие интеграции, а также методы и средства интеграции, включая предложенную авторами концептуальную платформу (фреймворк) интеграции, охватывающую шесть ключевых измерений – процессы, практики и инструменты интеграции; организационную среду; компетентность персонала; сопутствующие факторы; результативность интеграции и результативность исполнения программы. Рассмотрены многочисленные примеры успешного внедрения практик интеграции управления программой и системной инженерии и улучшения на этой основе экономических, управленческих и инженерно-технических показателей исполнения программ и деятельности компаний. В контексте интеграции управления программой и системной инженерии также проанализированы примеры неудачных программ. В основу примеров положены сведения, полученные от множества руководителей программ и главных системных инженеров, сотрудничающих с сотнями компаний различного профиля. Книга будет полезна для управленцев, инженеров, преподавателей и других специалистов, занятых вопросами создания сложных технических, социотехнических и организационных систем, а также реализацией программ и проектов в этой области. Она также будет интересна студентам и аспирантам, изучающим управление проектами и программами, системную инженерию и связанные с ними дисциплины. Издание осуществлено при поддержке Русского института системной инженерии, продолжающего этой книгой свою библиотеку по системной инженерии.
Цена 3035 руб.
СравнитьКупить
3 035 ₽
Расчет деталей, механизмов и систем двигателей внутреннего сгорания математическими методами с применением программы Mathcad
Расчет деталей, механизмов и систем двигателей внутреннего сгорания математическими методами с применением программы Mathcad
Приведены основы дифференциального и интегрального исчисления функции одной действительной переменной. Рассмотрены дифференциальные уравнения и показано их практическое применение при решении технических задач. Даны примеры расчёта систем двигателей с применением интегральных и дифференциальных уравнений. Вывод формул, определение производных, интегралов, построение графиков даётся как обычными математическими методами, так и с применением системы Mathcad. Дан расчёт цикла тепловозного дизельного двигателя с автоматическим построением индикаторной диаграммы в системе Mathcad. Для студентов технических специальностей при изучении как математики, так и прикладных дисциплин. Может быть полезно инженерам и аспирантам.
Цена 2023 руб.
СравнитьКупить
  • Серия

    Эксклюзивная классика (Лучшее) НАУКУ — ВСЕМ! Шедевры научно-популярной литературы (математика)

  • Издатель

    Перо ИКИ Система

  • Направление в научной литературе

    Популярная анатомия и физиология

2 023 ₽
- 12%
Расчет деталей, механизмов и систем двигателей внутреннего сгорания математическими методами с применением программы Mathcad
Расчет деталей, механизмов и систем двигателей внутреннего сгорания математическими методами с применением программы Mathcad
Приведены основы дифференциального и интегрального исчисления функции одной действительной переменной. Рассмотрены дифференциальные уравнения и показано их практическое применение при решении технических задач. Даны примеры расчёта систем двигателей с применением интегральных и дифференциальных уравнений. Вывод формул, определение производных, интегралов, построение графиков даётся как обычными математическими методами, так и с применением системы Mathcad. Дан расчёт цикла тепловозного дизельного двигателя с автоматическим построением индикаторной диаграммы в системе Mathcad. Для студентов технических специальностей при изучении как математики, так и прикладных дисциплин. Может быть полезно инженерам и аспирантам.
Цена 2023 руб.
СравнитьКупить
2 023 ₽
Метод Глебовой
Метод Глебовой
Ты – руководитель и хочешь начать свой бизнес или вырасти в существующем? Хочешь настроить свой бизнес так, чтобы он работал на тебя? Или выяснить, как распознать, что важно именно для тебя, а затем активировать это важное и запустить процессы? Или, может, расставить приоритеты и сделать больше, чем сейчас? Значит, тебе пригодятся мои знания в этих вопросах. Тем более что я потратила на них 6570 дней. У тебя есть столько времени? Думаю, что нет. Как получить эти знания? Все очень просто: открывай эту книгу и приступай к чтению. «Метод Глебовой» – это выжимка накопленного мною опыта. Это ключевые точки, благодаря которым человек может улучшить свою жизнь не только в бизнесе, но и в абсолютно других сферах.
Цена 2575 руб.
СравнитьКупить
  • Серия

    Умный бизнес Бизнес Познай себя iБизнес Книги, которые все ждали С-П Руководителю Глаза боятся, а руки делают Бизнес-книга Бизнес-книга Идеи, которые работают О бизнесе и не только

  • Издательство

    АСТ РИОР Дело ОГИ Кодем Луч-2

  • Тип носителя

    Боон Луи-Поль

2 575 ₽
- 12%
Метод Глебовой
Метод Глебовой
Ты – руководитель и хочешь начать свой бизнес или вырасти в существующем? Хочешь настроить свой бизнес так, чтобы он работал на тебя? Или выяснить, как распознать, что важно именно для тебя, а затем активировать это важное и запустить процессы? Или, может, расставить приоритеты и сделать больше, чем сейчас? Значит, тебе пригодятся мои знания в этих вопросах. Тем более что я потратила на них 6570 дней. У тебя есть столько времени? Думаю, что нет. Как получить эти знания? Все очень просто: открывай эту книгу и приступай к чтению. «Метод Глебовой» – это выжимка накопленного мною опыта. Это ключевые точки, благодаря которым человек может улучшить свою жизнь не только в бизнесе, но и в абсолютно других сферах.
Цена 2575 руб.
СравнитьКупить
2 575 ₽

Дополнительно из категории

Введение в современные САПР: Курс лекций
Введение в современные САПР: Курс лекций
Если вы раньше не имели дела с системами автоматизированного проектирования (САПР) или занимаетесь изучением САПР - эта книга для вас. Она представляет собой общий курс, дающий необходимый набор систематизированных фундаментальных сведений о САПР, обеспечивающий возможность общения со специалистами, использующими САПР, формулировать постановку задач, разрабатывать САПР как цельную систему, выбирать САПР в соответствии с задачами конкретного предприятия или проекта. Основной целью издания является ознакомление читателей с основополагающими принципами САПР, их классификацией, методами формализации процесса проектирования и конструирования, способами использования информационных технологий для автоматизации проектных, конструкторских и технологических задач.Книга будет полезна студентам технических вузов, а также высшему и среднему управленческому персоналу промышленных предприятий, по долгу службы принимающему решения о выборе и использовании САПР.
Цена 674 руб.
Сравнить
  • Серия

    Технологии для детей Новые возможности

  • Издательство

    КУРС

  • Автор

    Грас Джоэл

  • Эпоха публикации

    Современные издания

674 ₽
3D Studio Max + Vray + Corona. Проектирование дизайна среды. Учебное пособие
3D Studio Max + Vray + Corona. Проектирование дизайна среды. Учебное пособие
В учебном пособии даны практические советы по применению профессиональной программы Autodesk 3D Studio Max и визуализаторов VRay и Corona Renderer для работы с проектной графикой в художественных и дизайнерских вузах. Рассмотрены вопросы проектирования предметно-пространственной среды в целом и отдельных ее компонентов: зданий, интерьеров, предметов мебели, аксессуаров, источников освещения. Содержащиеся в пособии рекомендации по использованию компьютерных программ помогут при освоении приемов работы с трехмерной графикой во время изучения курсов, связанных с проектной, интерьерной, ландшафтной и архитектурной проблематикой. Соответствует требованиям федеральных государственных образовательных стандартов высшего образования последнего поколения. Для студентов высших учебных заведений, обучающихся по направлениям подготовки «Дизайн», «Декоративно-прикладное искусство и народные промыслы». Будет также полезно аспирантам и преподавателям специальных художественных дисциплин, занимающимся дизайном.
Цена 2419 руб.
Сравнить
  • Серия

    Высшее образование Учебное пособие Для профессионалов Для профессионалов Проектирование Учебный курс Мой компьютер Профессионально Для дизайнеров

  • Издательство

    Лань НТИ

  • Направление в компьютерной литературе

    Подписка

2 419 ₽
Прототипирование. Практическое руководство
Прототипирование. Практическое руководство
О прототипировании. Здесь есть и основы теории, и огромное количество практических рекомендаций. Тодд Заки Варфел делится своей философией дизайна, инструментами своего ремесла и лучшими известными ему методами, которые заставляют вещи работать.Альберт Эйнштейн сказал однажды: «В теории вещи одинаковые. Но на практике разные». В этой книге каждая глава начинается с теории, а заканчивается пошаговым практическим руководством по прототипированию определенным методом, дополненным полезными советами и авторскими приемами.
Цена 815 руб.
Сравнить
  • Издательство

    АСТ

  • Автор

    Грас Джоэл

815 ₽
ANSYS в руках инженера Практ. рук. (м) (5 изд.) Каплун
ANSYS в руках инженера Практ. рук. (м) (5 изд.) Каплун
Книга служит пособием для самостоятельного овладения программным комплексом ANSYS (продукт фирмы ANSYS Inc.). Подробно, с примерами, изложены основы метода конечных элементов (на котором построена математическая база ANSYS). Детально изложены приемы обращения с программой для расчета напряженно-деформированного состояния линейных, плоских и пространственных задач сопротивления материалов и теории упругости. Приведен справочник имен и команд с соответствующими пояснениями и примерами. .Для широкого круга специалистов в области вычислительных экспериментов, студентов старших курсов, аспирантов и инженерно-технических работников, специализирующихся на прочностных расчетах конструкций.
Цена 700 руб.
Сравнить
  • Серия

    Справочник На примерах

  • Издательство

    Либроком КУРС КомКнига Мир Перо Эком

  • Автор

    Солдатов Андрей Schlosser Eric

700 ₽
Проектирование программных средств
Проектирование программных средств
Данное учебное пособие является дополнением к книге "Документирование программного обеспечения". В нем собрана информация по некоторым разделам программной инженерии, влияющим на процесс документирования, являющихся для него фундаментом. В частности, это вопросы организации жизненного цикла программного средства, тестирования программ, исследования надежности. Отдельные главы пособия посвящены экономическим вопросам программной инженерии и контролю качества программ. Рассмотренные математические модели могут исследоваться и рассматриваться в рамках различных прикладных курсов для направления подготовки бакалавров и магистров 010400 "Прикладная математика и информатика".
Цена 660 руб.
Сравнить
  • Издательство

    Магистр КУРС КомКнига Эком

  • Автор

    Солдатов Андрей

660 ₽
Москва
Санкт-Петербург
Ангарск
Армавир
Архангельск
Астрахань
Балаково
Балашиха
Барнаул
Белгород
Бийск
Благовещенск
Братск
Брянск
Великий Новгород
Владивосток
Владикавказ
Владимир
Волгоград
Волжский
Вологда
Воронеж
Грозный
Дзержинск
Екатеринбург
Иваново
Ижевск
Иркутск
Йошкар-Ола
Казань
Калининград
Калуга
Кемерово
Киров
Комсомольск-на-Амуре
Королёв
Кострома
Краснодар
Красноярск
Курган
Курск
Липецк
Магнитогорск
Махачкала
Мурманск
Набережные Челны
Нальчик
Нижневартовск
Нижнекамск
Нижний Новгород
Нижний Тагил
Новокузнецк
Новороссийск
Новосибирск
Омск
Орёл
Оренбург
Орск
Пенза
Пермь
Петрозаводск
Петропавловск-Камчатский
Подольск
Прокопьевск
Псков
Ростов-на-Дону
Рыбинск
Рязань
Самара
Саранск
Саратов
Северодвинск
Смоленск
Сочи
Ставрополь
Старый Оскол
Стерлитамак
Сургут
Сыктывкар
Таганрог
Тамбов
Тверь
Тольятти
Томск
Тула
Тюмень
Улан-Удэ
Ульяновск
Уфа
Хабаровск
Химки
Чебоксары
Челябинск
Череповец
Чита
Шахты
Энгельс
Южно-Сахалинск
Якутск
Ярославль
другой город