книги Компьютеры и Интернет Программирование Разработка программ

К. Рустан, М. Лейно

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

Name: Доказательство корректности программ
Price: 3298.54 RUB
Availability: InStock
ISBN: 978-5-93700-199-3

Код 5513740

ISBN: 978-5-93700-199-3
530 страниц

июнь 2024
ДМК
1100 г

Бумажная книга

47.17 USD

Добавить в корзину

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 28.06.2025; планируемая отправка: 29.06.2025

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 01.07.2025; планируемая отправка: 02.07.2025

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

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

Особенности книги:

написана простым и понятным языком;
постепенно вводит все более сложные понятия;
наглядно демонстрирует, как писать доказательства, а также как определять и верифицировать функциональные и императивные программы;
приводит примеры программного кода на реальном языке программирования, а не псевдокоде;
содержит забавные иллюстрации и обучающие упражнения.

Издание будет полезно студентам вузов, преподавателям, исследователям в области формальной верификации, а также сотрудникам компаний, применяющих дедуктивную верификацию на практике.

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Текст комментария

Оцените книгу:

Издательство:	ДМК
Дата выхода:	июнь 2024
ISBN:	978-5-93700-199-3
Объём:	530 страниц
Масса:	1100 г
Размеры(высота, ширина), см:	24 x 17
Обложка:	твёрдая
Бумага:	офсетная
Переводное издание:	Program Proofs
Язык оригинала:	английский

Книга находится в категориях

Новинки компьютерной литературы 2024

Вместе с этой книгой покупают

Смех лисы бумажная книга

Шамиль Идиатуллин

14.29 USD

В корзину

-10%

Секреты волшебного воспитания. Счастье начинается в детстве

Секреты волшебного воспитания. Счастье... бумажная книга

Сабина Ламанна

11.31 USD 10.18 USD

В корзину

-6%

Книга Пыли. Прекрасная дикарка бумажная книга

Филип Пулман

15.94 USD 14.98 USD

В корзину

Мужские мысли в походе и офисе. Как исповедь бумажная книга

Игорь Фомин

Нет в продаже

Задача трех тел бумажная книга

Лю Цысинь

13.16 USD

В корзину

Дикий барин в домашних условиях бумажная книга

Джон Александрович...

8.81 USD

В корзину

Смех лисы

бумажная книга новинка

Шамиль Идиатуллин

- Четвертая книга совместной серии сервиса Яндекс Книги и «Редакции Елены Шубиной». Сначала фантастический роман вышел в формате книжного сериала в 12 эпизодах с озвучкой Сергея Гилева. Теперь очередь бумажной версии. - Шамиль Идиатуллин — журналист и писатель, работающий в разных жанрах. Дважды лауреат «Большой книги»: «Город Брежнев» (2017) и «Бывшая Ленина» (2020), лауреат «Новых горизонтов» («Убыр», 2013). ...

Издательство: АСТ
Дата выхода: май 2025

14.29 USD

В корзину

10%

Секреты волшебного воспитания. Счастье начинается в детстве

бумажная книга

Сабина Ламанна

Счастье начинается в детстве, а правильное воспитание — с правильной книги. Эта книга станет для родителей той самой волшебной палочкой, благодаря которой в семье появятся гармония и взаимопонимание. Как преодолеть детские страхи, неуверенность и трудности общения, справиться с эмоциями и агрессией, развить самостоятельность и мотивацию? Самые важные секреты волшебного воспитания без криков,...

Издательство: АСТ
Дата выхода: февраль 2019

11.31 USD 10.18 USD

В корзину

Книга Пыли. Прекрасная дикарка

бумажная книга

Филип Пулман

Недалеко от Оксфорда, на берегу Темзы, живет простой одиннадцатилетний мальчишка по имени Малкольм Полстед. Он помогает родителям, которые содержат трактир, обитательницам женского монастыря на другом берегу реки, и очень хочет учиться в настоящей школе. Однажды Малкольм узнает, что в монастыре появился необычный гость. Это маленькая девочка. Ее зовут Лира Белаква...

Издательство: АСТ
Дата выхода: декабрь 2018

15.94 USD 14.98 USD

В корзину

Задача трех тел

бумажная книга

Лю Цысинь

Китайская премия «Галактика», американская премия «Хьюго», немецкая премия Курда Лассвица, испанская премия Игнотуса, японская «Премия Сэйун», итальянская премия «Италия», польская премия «Нова фантастика», русская премия «Книга года». Три экранизации в Китае и США. В те времена, когда Китай переживал последствия жестокой "культурной революции", в ходе секретного военного проекта в космос были...

Издательство: Эксмо
Дата выхода: декабрь 2023

13.16 USD

В корзину

Дикий барин в домашних условиях

бумажная книга

Джон Александрович Шемякин

Джон Шемякин - знаменитый российский блоггер, на страницу которого в Фейсбуке подписано более 70 000 человек, тонкий и остроумный интеллектуал, автор восхитительных автобиографических историй, неизменно вызывающих фурор в Рунете и интенсивно расходящихся на афоризмы. "Немногие знают, что я: работал год коком на танкере в Тихом океане; шесть месяцев носил имя Евгений; был импресарио у колдуньи...

Издательство: АСТ
Дата выхода: декабрь 2018

8.81 USD

В корзину