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

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

...
  Сравнить
  В избранное
Показать все аналоги
Ещё от "Буквоед":
  Похожие товары
  Видео обзоры

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

  • Общий рейтинг 4.85
  • Рейтинг покупателей 3.56
  • Рейтинг экспертов 4.18
  • Качество материалов 4.55
  • Надежность 4.88
  • Простота в использовании 4.51
  • Ремонтопригодность 4.35
  • Эффективность выполнения своих функций 4.35
  • Коэффициент удивления "Вау!" 4.85
  • Безопасность для пользователя4.68
  • Внешний вид 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.16
  • Возможность персонализации 4.01
  • Ликвидность 4.38
  • Индекс рекомендаций 3.55
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Информация о характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и взятая из открытых источников.
Эксперт: Наталья Перова, онлайн-шопинг-гид
Дата рецензии: 27 июня 2025 г.
Рекомендация к покупке нейтральная

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

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

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

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

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

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

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

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

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

  • Издатель

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

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

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

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

    8+

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

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

2 667 ₽
- 12%
...
Логическое проектирование и верификация систем на 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. Для студентов технических специальностей при изучении как математики, так и прикладных дисциплин. Может быть полезно инженерам и аспирантам.
Цена 2023 руб.
СравнитьКупить
  • Серия

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

  • Издатель

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

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

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

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

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

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

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

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

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

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

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

...
Компьютерное моделирование в задачах строительной механики. Учебное пособие (+CD)
В учебном пособии приведены теоретические и практические основы компьютерного моделирования применительно к задачам расчета строительных конструкций, представлены особенности решения нелинейных задач, описан инструментарий программного комплекса ЛИРА-САПР. На примерах рассмотрены вопросы составления расчетных схем для решения задач сопротивления материалов и строительной механики. В приложениях приведены возможные варианты учебных программ для изучения дисциплин "Строительная механика" и "Компьютерное моделирование и автоматизированные расчеты на прочность", а также варианты заданий для лабораторных и расчетно-графических работ по строительной механике. Книга в первую очередь предназначена для студентов, обучающихся по направлению "Строительство" и по специальности "Строительство уникальных зданий и сооружений", а также для преподавателей дисциплин "Сопротивление материалов", "Строительная механика", "Теория упругости", "Компьютерные технологии и системы... . .
Цена 2549 руб.
Сравнить
2 549 ₽
...
3ds Max 2016. Дизайн интерьеров и архитектуры
В книге рассматривается создание и ЗD-визуализация интерьеров и экстерьеров в пакете 3ds Max 2016. Описаны оригинальные приемы моделирования с использованием всевозможных методов, таких как экструзия, лофтинг и NURBS, а также методов полигонального моделирования и симуляции; технологии создания материалов любой сложности. В книге также описаны принципы постановки света, включая качественную визуализацию с помощью физической камеры, фотометрических источников света, HDRI карт, рендера mental ray и плагина V-Ray. Даны правила настройки физической камеры для экстерьерных и интерьерных ракурсов; дневного и вечернего освещения и другие возможности 3ds Мах, необходимые для создания архитсиурного и интерьерного проектов. Особенностью книги является рассмотрение популярного плагина Multiscatter, используемого для создания травы, деревьев и другой растительности. В книге раскрываются профессиональные секреты фотореалистичной визуализации, приведены алгоритмы работы над большими проектами и представлены основные правила, следуя которым читатели смогут создавать проекты быстро и качественно. Многочисленные иллюстрации делают материал наглядным и доступным.
Цена 674 руб.
Сравнить
  • Серия

    Для профессионалов Для профессионалов Новые возможности

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

    АСТ Лучшие Книги Эком НТИ

674 ₽
...
Microsoft Project 2013 в управлении проектами
Даны практические рекомендации по документированию проектов, управлению ими и применению новой версии самой популярной системы управления MS Project 2013. Рассмотрены интерфейс MS Project 2013 и основы навигации в этой программе, стадии предварительного и детального планирования проектов, поддержка процессов выполнения и анализа проекта, дополнительные возможности MS Project 2013 для поддержки управления проектами, управление рисками, проблемами, документами, портфелями проектов и другие актуальные вопросы. Электронный архив на сайте издательства содержит дополнительные тексты, расширяющие содержание книги, файлы примеров, типовые шаблоны документов, справочную информацию, ссылки на интернет-ресурсы.
Цена 295 руб.
Сравнить
  • Серия

    На примерах Полная версия Новые возможности На примерах На примерах

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

    Лань

  • Автор

    Грас Джоэл

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

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

  • Автор

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

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

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

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

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

  • Автор

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

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