Меню

Доказательство корректности программ; ДМК Пресс, 2023

2639 р.

  • Издатель: ДМК Пресс
  • ISBN: 978-5-93700-199-3
  • Книги: Программирование
  • ID:15752521
Где купить

Описание Характеристики Сравнить цены (1) Отзывы (0)

Где купить (1)

Цена от 2639 р. до 2639 р. в 1 магазинах

МагазинЦенаНаличие
ЛитРес
5/5
ООО «Литрес»
ИНН: 7719571260
2639 р.
Электронная книга Кэшбэк до 6.7%
✔
07.04.2026
Яндекс.Маркет
5/5
ООО "ЯНДЕКС"
ИНН: 7736207543
✔ Промокоды на скидку

Описание

Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций. Автор сначала представляет теоретические предпосылки, лежащие в основе рассуждений о программном коде, а затем постепенно переходит к реальным примерам, использующих объекты, структуры данных и нетривиальную рекурсию. Книга написана простым и понятным языком, содержит множество забавных иллюстраций и практических упражнений. Издание будет полезно студентам вузов, преподавателям, исследователям в области формальной верификации, а также сотрудникам компаний, применяющих дедуктивную верификацию на практике.

Смотри также о книге.

О книге


ПараметрЗначение
ISBN978-5-93700-199-3
Автор(ы)
ИздательДМК Пресс
Год издания2023
Форматы электронной версииPDF


Отзывы (0)


Зарегистрируйтесь и получайте бонусы за покупки!


Книги: Информационные технологии, Программирование - издательство "ДМК Пресс"

Категория 2111 р. - 3166 р.

Практический хакинг интернета вещей
0/5 от 2309 р.
MicroPython для микроконтроллеров и проектов IoT
0/5 2309 р.
LLVM 17: инфраструктура для разработки компиляторов
0/5 2419 р.
Как проектировать программы книга
5/5 от 2474 р.
С 20 в деталях книга
5/5 от 2474 р.
PYCHARM: профессиональная работа на PYTHON
0/5 от 2474 р.
Python К вершинам мастерства Локаничное и эффективное программирование
0/5 от 2568 р.
Django 4 в примерах. Разрабатывайте мощные и надежные веб-приложения на Python с нуля книга
0/5 от 2624 р.
Spring Security в действии
0/5 2804 р.
Python: Pandas на практике. 200 упражнений по анализу данных с решениями и пояснениями
0/5 3024 р.
Все Программирование - издательство "ДМК Пресс" »

Книги: Информационные технологии, Программирование

Категория 2111 р. - 3166 р.

Pythonic AI: руководство для начинающих по созданию приложений искусственного интеллекта на Python
0/5 2199 р.
Анимация в видеоиграх. Полное руководство для игрового аниматора. 2-е издание
0/5 от 2499 р.
Изучаем HTML, XHTML и CSS 2-е изд.
0/5 от 2167 р.
Философия Java. 4-е полное изд.
5/5 от 2181 р.
Паттерны разработки на Python: TDD, DDD и событийно-ориентированная архитектура
0/5 2199 р.
WebAssembly в действии
0/5 от 2228 р.
C# 9 и .NET 5. Разработка и оптимизация
0/5 от 2250 р.
Изучаем программирование на JavaScript
0/5 от 2363 р.
Apache Kafka. Потоковая обработка и анализ данных
0/5 от 2436 р.
-4%
CLR via C#. Программирование на платформе Microsoft .NET Framework 4.5 на языке C#. 4-е изд.
0/5 от 2550 р.
UML для простых смертных
0/5 от 2230 р.
SQL для профессионалов. Программирование
0/5 от 2299 р.
Эксперт по сетевым технологиям CISCO. Учебное руководство
0/5 от 2327 р.
Как программировать для Android
3/5 от 2559 р.
-4%
Как учится машина Революция в области нейронных сетей и глубокого обучения
0/5 от 3109 р.
Эффективное тестирование программного обеспечения
0/5 от 2144 р.
Безопасность ASP. NET CORE
0/5 от 2144 р.
Глубокое обучение без математики. Том 1. Основы
3/5 от 2155 р.
Spark в действии. С примерами Java, Python и Scala
0/5 от 2155 р.
R. Книга рецептов. Проверенные рецепты для статистики, анализа и визуализации
2/5 от 2199 р.
Профессиональное программирование на ассемблере x64 с расширениями AVX, AVX2 и AVX-512
0/5 от 2199 р.
⬆ ❤ закладки (0) ✔ сравнение (0)

8 ms