18+
На сайте представлено только описание и выходные данные книги «Доказательство корректности программ К. Рустан М. Лейно». Сайт не является распространителем книги. Сайт не предоставляет возможности купить, читать онлайн или скачать бесплатно книгу «Доказательство корректности программ К. Рустан М. Лейно». Сайт предназначен для лиц старше 18 лет. Если вам не исполнилось 18 лет - незамедлительно покиньте сайт. Оставаясь на сайте вы подтверждаете, что вам исполнилось 18 лет.
Незаконное потребление наркотических средств, психотропных веществ, их аналогов причиняет вред здоровью, их незаконный оборот запрещен и влечет установленную законодательством ответственность
Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций. Автор сначала представляет теоретические предпосылки, лежащие в основе рассуждений о программном коде, а затем постепенно переходит к реальным примерам, использующих объекты, структуры данных и нетривиальную рекурсию. Книга написана простым и понятным языком, содержит множество забавных иллюстраций и практических упражнений. Издание будет полезно студентам вузов, преподавателям, исследователям в области формальной верификации, а также сотрудникам компаний, применяющих дедуктивную верификацию на практике.
Перед выбором сравните язык, год, издательство и формат в сведениях ниже. У одной книги могут быть разные переводы и издания.
ISBN этого издания: 978-5-93700-199-3. По нему можно отличить издание от других версий книги.
Описание помогает оценить тему книги; отзывы читателей позволяют дополнить его личным опытом. Оценку и отзыв оставляйте после знакомства с книгой.
izbe.ru