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

630 р.

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

Где купить (3)

Цена от 630 р. до 630 р. в 3 магазинах

МагазинЦенаНаличие
630 р.
766 р. -18% Минимальные сроки доставки. Кэшбэк до 6.1%
Промокоды на скидку

27.07.2025
630 р.
766 р. -18% Крупнейшая сеть книжных магазинов Кэшбэк до 6.1%
Промокоды на скидку

27.07.2025
630 р.
766 р. -18% Кэшбэк до 6.1%
Промокоды на скидку

27.07.2025
Яндекс.Маркет
5/5
Промокоды на скидку
Avito доставка позволит получить любой товар, не выходя из дома

История цены

МагазинПоследняя известная ценаОбновлено
ЛитРес
279 р.

Описание

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

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

О книге


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


Отзывы (0)


Зарегистрируйтесь и получайте бонусы за покупки!


Книги: Научная литература - издательство "СПбГУ"

Категория 504 р. - 756 р.

Книги: Научная литература

Категория 504 р. - 756 р.

закладки (0) сравнение (0)

13 ms