- Регистрация
- 8 Сен 2016
- Сообщения
- 483.993
- Реакции
- 268.180
[ДМК] **Доказательство корректности программ** *Автор: К. Рустан М. Лейно*
Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций.
Автор сначала представляет теоретические предпосылки, лежащие в основе рассуждений о программном коде, а затем постепенно переходит к реальным примерам, использующих объекты, структуры данных и нетривиальную рекурсию. Книга написана простым и понятным языком, содержит множество забавных иллюстраций и практических упражнений.
**Особенности книги:**
- Написана простым и понятным языком;
- Постепенно вводит все более сложные понятия;
- Наглядно демонстрирует, как писать доказательства и верифицировать функциональные и императивные программы;
- Приводит примеры программного кода на реальном языке программирования, а не псевдокоде;
- Содержит забавные иллюстрации и обучающие упражнения.
Издание будет полезно студентам вузов, преподавателям, исследователям в области формальной верификации, а также сотрудникам компаний, применяющих дедуктивную верификацию на практике.
**Информация об издании:**
- **Издание:** Черно-белое
- **Оригинальное название:** Program Proofs
- **Оригинальный правообладатель:** MIT Press
- **Научный редактор:** Кондратьев Д.
- **Объем, стр:** 522
- **ISBN:** 978-5-97060-199-3
- **Формат:** PDF
- **Стоимость:** 1600
Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций.
Автор сначала представляет теоретические предпосылки, лежащие в основе рассуждений о программном коде, а затем постепенно переходит к реальным примерам, использующих объекты, структуры данных и нетривиальную рекурсию. Книга написана простым и понятным языком, содержит множество забавных иллюстраций и практических упражнений.
**Особенности книги:**
- Написана простым и понятным языком;
- Постепенно вводит все более сложные понятия;
- Наглядно демонстрирует, как писать доказательства и верифицировать функциональные и императивные программы;
- Приводит примеры программного кода на реальном языке программирования, а не псевдокоде;
- Содержит забавные иллюстрации и обучающие упражнения.
Издание будет полезно студентам вузов, преподавателям, исследователям в области формальной верификации, а также сотрудникам компаний, применяющих дедуктивную верификацию на практике.
**Информация об издании:**
- **Издание:** Черно-белое
- **Оригинальное название:** Program Proofs
- **Оригинальный правообладатель:** MIT Press
- **Научный редактор:** Кондратьев Д.
- **Объем, стр:** 522
- **ISBN:** 978-5-97060-199-3
- **Формат:** PDF
- **Стоимость:** 1600
Для просмотра скрытого содержимого вы должны зарегистрироваться
Возможно, Вас ещё заинтересует:
- Автоматизация управленческого учета на базе программы 1С: УНФ [Тариф 2: Под ключ] [Елена Косых]
- Висишка — курс по маркетинговым статьям на VC [Сделаем] [Роман Мориц]
- Вибрационная медицина. Базовый курс [Hermes-trismegist] [Алексей Михайлов]
- Тест Сонди и Основы судьбоанализа. Блок "Судьбоанализ" (Модули 1 и 2) [Александр Цапенко]
- Кризис 7 лет (2024) [Анна Полищук]
- Фронтенд-разработчик с нуля [Merion Academy] [Дмитрий Федин]
- Формула видео на миллионы просмотров и формула монетизации соцсетей [Nastya Abroad]
- 12 неизвестных шедевров изобразительного искусства. Выпуск 9 [liveclasses] [Алексей Шадрин]