Доказательство корректности программ
A

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

Алгоритмы
formal verification Dafny program correctness Hoare logic Floyd logic deductive verification software engineering
Автор
К. Рустан М. Лейно
Издательство
ДМК Пресс
Год
2024
Язык
Русский
44
Оцените книгу

Чтобы читать книгу, войдите / зарегистрируйтесь

Ознакомительный фрагмент

Похожие книги

Введение в программирование и структуры данных

Введение в программирование и структуры данных

Кати Фислер, Шрирам Кришнамурти, Бенджамин С. Лернер, Джо Гиббс Политц

Python. Исчерпывающее руководство

Python. Исчерпывающее руководство

Дэвид Бизли

Стильный Java. Код, который работает всегда и везде

Стильный Java. Код, который работает всегда и везде

Марко Фаэлла

Как проектировать программы. Введение в программирование и компьютерные вычисления

Как проектировать программы. Введение в программирование и компьютерные вычисления

Маттиас Фелляйзен, Роберт Брюс Финдлер, Мэтью Флэтт, Шрирам Кришнамурти

Функциональное программирование на Python. Руководство по разработке в примерах сообщества Stack Overflow

Функциональное программирование на Python. Руководство по разработке в примерах сообщества Stack Overflow

Дэвид Мерц, Л. Клаймен

Язык программирования Си

Язык программирования Си

Брайан Керниган, Деннис Ритчи

Kotlin. Паттерны проектирования и лучшие практики, 3-е изд.

Kotlin. Паттерны проектирования и лучшие практики, 3-е изд.

Алексей Сошин

Методы программирования в задачах и примерах на C/C++

Методы программирования в задачах и примерах на C/C++

В. Д. Валединский, А. А. Корнев

Python. Полное руководство

Python. Полное руководство

Кольцов Д. М.

Спортивное программирование. Новый нижний предел соревнований по программированию

Спортивное программирование. Новый нижний предел соревнований по программированию

Стивен Халим, Феликс Халим