Еще
Логотип LiveLibЛоготип LiveLibЛента
К. Рустан М. Лейно - Доказательство корректности программ
18+
User AvatarВаша оценка
0
(0)

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

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

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

ДМК пресс

ISBN:

978-5-937-00199-3

Год издания:

2024

Язык:

Русский

Возрастные ограничения:

18+

Рейтинг LiveLib

0
0 оценок
Эту книгу пока никто не оценил, ваша оценка может стать первой
User AvatarВаша оценка
Прочитали 1Хотят прочитать 2

Рецензии

На эту книгу еще нет ни одной рецензии. Ваша может стать первой.

Популярное

Цитаты

Еще не добавлена ни одна цитата из книги. Ваша может стать первой.

Подборки с этой книгой

Все подборки