Книги
Главная » Все товары » Учебная литература » Студентам и аспирантам » Технические науки. Медицина. Сельское хозяйство » Информатика. Вычислительная техника » Разработка программного обеспечения » Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие
Книги на OZON.ru — это выгодно!

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

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

С. В. Яхонтов

Тип продукции:

Год выхода: 2014 г.

Производитель/Издатель: Издательский дом Санкт-Петербургского государственного университета

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

Страниц: 146 стр.

Формат: 60x84/16 (145х200 мм)

Тираж: 230 экз.

Переплет: Мягкая обложка

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

Товары, похожие на «Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие»
Цена: 710,00 руб
Купить
Цена может отличаться от указанной. Цену уточняйте на сайте OZON.ru


Популярные товары

Смотрю. Играю. Узнаю (набор из 70 карточек)

Смотрю. Играю. Узнаю (набор из 70 карточек)
Цена: 332 р.

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

Смотрю. Играю. Узнаю (набор из 70 карточек)

Смотрю. Играю. Узнаю (набор из 70 карточек)
Цена: 299 р.

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

Проектирование, строительство и инженерное оборудо...

Проектирование, строительство и инженерное оборудование предприятий молочной промышленности. Учебное пособие
Цена: 1 423 р.

Представлены основные типы предприятий, приведены сведения об организа...


Сентиментальный роман

Books in English
 
  Copyright © 2010 — 2018 Книги