О книге: Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог; СПбГУ, 2014

Издатель: СПбГУ
ISBN: 978-5-288-05544-7
Книги: Физика и математика
ID:1968295

Рейтинг:

(0/5)

О книге

Параметр	Значение
Автор(ы)	Сергей Викторович Яхонтов
Переплет	Мягкий переплёт
Издатель	СПбГУ
Год издания	2014
Раздел	Физические науки
ISBN	978-5-288-05544-7
Возрастное ограничение	16+
Количество страниц	146
Страниц	146
Переплёт	мягкий
Формат	200.00mm x 145.00mm x 8.00mm
Тематика	Физика и математика
Тираж	230
Кол-во страниц	146
Возрастные ограничения	16

Где купить

Последняя известная цена от 279 р. до 630 р. в 4 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

Магазин	Цена	Наличие
Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	✔ Промокоды на скидку

Avito 5/5 ООО КЕХ еКоммерц ИНН: 7710668349	Avito доставка позволит получить любой товар, не выходя из дома ✔ Промокоды на скидку

История цены
Магазин	Последняя известная цена	Обновлено
ЛитРес	279 р.
book24	630 р.	26.09.2025
Буквоед	630 р.	26.09.2025
Читай-город	630 р.	26.09.2025

Описание

В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.

Смотри также о книге.