Артикул: T0012229
1 999 руб.
Доступные форматы
Быстрая покупка ?
Отложить
После оплаты издание можно скачать во всех доступных форматах на странице Мои книги
Аннотация
Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций. Автор сначала представляет теоретические предпосылки, лежащие в основе рассуждений о программном коде, а затем постепенно переходит к реальным примерам, использующих объекты, структуры данных и нетривиальную рекурсию. Книга написана простым и понятным языком, содержит множество забавных иллюстраций и практических упражнений.
Издание будет полезно студентам вузов, преподавателям, исследователям в области формальной верификации, а также сотрудникам компаний, применяющих дедуктивную верификацию на практике.
Издание будет полезно студентам вузов, преподавателям, исследователям в области формальной верификации, а также сотрудникам компаний, применяющих дедуктивную верификацию на практике.
Характеристики
|
Издано
|
Издательство «ДМК Пресс» |
|
Формат(ы)
|
|
|
Перевод
|
с англ. |
|
Переводчик(и)
|
А.Н. Киселев |
|
Вид издания
|
Учебное издание |
| Размер файла, pdf | 11.6 Mб |
| Год издания | 2024 |
| Объем, стр. | 530 |
| Размер страницы, см | 16,5×23,5 |
| Миним. диагональ, дюймов | 10 |
| ISBN | 978-5-93700-199-3 |
Ознакомительный фрагмент
Открыть/скачать фрагмент
407,2 кб
Отзывы
