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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Queen. Биография в комиксах бумажная книга

31.65 USD

В корзину

-20%

Я за тебя умру бумажная книга

Френсис Скотт...

8.1 USD 6.48 USD

На складе

В корзину

-3%

Почтальонша бумажная книга

Франческа Джанноне

8.54 USD 8.29 USD

В корзину

-6%

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

Лю Цысинь

13.33 USD 12.53 USD

В корзину

Иван Бунин. Жизнь наоборот бумажная книга

Дмитрий Воденников

13.52 USD

В корзину

-23%

Старинные театры бумажная книга

Георгий Лукомский

770.17 USD 593.03 USD

В корзину

Queen. Биография в комиксах

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

Группа Queen легендарна - с этим не станет спорить никто. Их уникальная музыка сочетает множество стилей, а их песни знает и поет весь мир. Существует множество биографий, посвященных истории группы, но еще ни одна из них не была создана в формате комикса. Пройдите творческий путь Queen вместе с ее участниками Фредди Меркьюри, Брайаном Мэйем, Роджером Тейлором и Джоном Диконом от момента зарождения группы и до...

Издательство: АСТ
Дата выхода: июнь 2025

31.65 USD

В корзину

20%

Я за тебя умру

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

Френсис Скотт Фицджеральд

Впервые на русском языке! В сборник вошли рассказы, оказавшиеся невостребованными потому, что не соответствовали ожиданиям литературных редакторов в то время» — рассказали журналистам The Guardian представители американского издательства «Скрибнер», ответственного за публикацию сборника, — «Фицджеральд в этих рассказах затронул неоднозначные темы. Его герои — молодые мужчины и женщины — открыто...

Издательство: Эксмо
Дата выхода: август 2018

8.1 USD 6.48 USD

На складе В корзину

Почтальонша

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

Франческа Джанноне

Дебютный роман молодой итальянской писательницы Франчески Джанноне, ставший литературной сенсацией в Италии — раскуплено уже более 580 000 экземпляров, а права на издание проданы 37 странам. Роман основан на истории прабабушки автора, в нем рассказывается о жизни Анны — молодой женщины с севера Италии, в 1934 году переехавшей вместе с семьей на юг страны, на родину мужа. Став первой...

Издательство: Альпина Паблишер
Дата выхода: октябрь 2024

8.54 USD 8.29 USD

В корзину

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

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

Лю Цысинь

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

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

13.33 USD 12.53 USD

В корзину

Иван Бунин. Жизнь наоборот

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

Дмитрий Воденников

- Новинка серии ЖИЛ («Жизнь известных людей»). - Нестандартный взгляд на судьбу классика, лауреата Нобелевской премии. Повествование о жизни Бунина идет в обратном направлении — от смерти к рождению. - Книга раскрывает внутренний мир Бунина, мировоззрение, дружеские и неприязненные взаимоотношения с современниками, мытарства в эмиграции. - Дмитрий Воденников — писатель, поэт, литературовед, автор книг...

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

13.52 USD

В корзину

23%

Старинные театры

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

Георгий Лукомский

Переплет ручной работы. Переплетная кожа. Каптал из шелковых нитей. Ляссе шелковое. Обрез торшонированный золотой фольгой. Украшение переплета: блинтовое тиснение, тиснение полиграфической фольгой. Описание блока: Репринтное издание. Ограниченный тираж- 10 экземпляров. Печать блока на дизайнерской бумаге с рисунками высокого разрешения. Иллюстрации проложены калькой. Книга "Старинные театры"...

Издательство: Белый город
Дата выхода: февраль 2025

770.17 USD 593.03 USD

В корзину

Просмотренные товары

-8%

Учимся готовить. Предельно просто и понятно! Комплект из 3х книг (новое оформление)

Учимся готовить. Предельно просто и понятно!... бумажная книга

27.55 USD 25.35 USD

В корзину

-23%

Добро пожаловать в экологию! Дид. мат. 6-7лет бумажная книга

Марина Алексеевна...

7.32 USD 5.64 USD

В корзину

Соадминистрирование баз данных и серверов. Учебник для студентов учреждений среднего профессионального образования

Соадминистрирование баз данных и серверов.... бумажная книга

Нет в продаже

Практическая грамматика английского языка. English Grammar in Practice. 8-е изд

Практическая грамматика английского языка.... бумажная книга

Лариса Николаевна...

Нет в продаже

Учимся готовить. Предельно просто и понятно! Комплект из 3х книг...

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

Комплект из 3х книг Вам хочется приготовить вкусный домашний обед, но не знаете, с чего начать? Путаетесь в кухонных шкафчиках и боитесь взять в руки миксер? Начните свои первые шаги в сложном мире кулинарии с нашей серией для начинающих! Здесь вы найдете лучшие рецепты по самым важным темам, подробнейшее описание этапов приготовления, пошаговые фотографии и полезные советы. Рецепты разбиты на три группы...

ISBN: 978-5-04-223840-6
Издательство: Эксмо
Дата выхода: май 2025

27.55 USD 25.35 USD

В корзину

23%

Добро пожаловать в экологию! Дид. мат. 6-7лет

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

Марина Алексеевна Бодоньи

Данное пособие поможет оснастить педагогический процесс по экологическому развитию ребенка дошкольного возраста современным наглядным дидактическим материалом и окажет педагогам методическую поддержку. Для педагогов ДОО и родителей.

ISBN: 9785906937377
Издательство: Детство-Пресс
Дата выхода: сентябрь 2017

7.32 USD 5.64 USD

В корзину