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

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

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

С. В. Яхонтов

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

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

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

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

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

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

Тираж: 230 экз.

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

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

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


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

Станьте богатым! 50 уроков привлечения денег от ве...

Станьте богатым! 50 уроков привлечения денег от великих учителей мира. С. Кови, Р. Кийосаки, Н. Хилл, Э. де Боно, О. Мандино, Х. Сильва
Цена: 299 р.

Аннотация. Книга адресована всем тем, кто собирается стать богатым. Пе...

Тренинг по Джозефу Мэрфи. Сила подсознания для при...

Тренинг по Джозефу Мэрфи. Сила подсознания для привлечения денег
Цена: 188 р.

Аннотация Джозеф Мэрфи, всемирно известный наставник, открывший миллио...

Сны Пресвятой Богородицы. Открытки-обереги. Выпуск...

Сны Пресвятой Богородицы. Открытки-обереги. Выпуск 4 (набор из 12 открыток)
Цена: 248 р.

Наталья Степанова, потомственная сибирская ценительница, предлагает ва...


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

Самые популярные авторы
 
  Copyright © 2010 — 2017 Книги