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

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

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

С. В. Яхонтов

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

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

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

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

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

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

Тираж: 230 экз.

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

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

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


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

Жертвоприношения

Жертвоприношения
Цена: 354 р.

Анна Форестье, любимая женщина знаменитого комиссара Вер-ховена, случа...

Несуществующее настоящее

Несуществующее настоящее
Цена: 240 р.

То, что нас окружает, с одной стороны, и есть наше настоящее, привычно...

Автопробегом по бездорожью Франции

Автопробегом по бездорожью Франции
Цена: 1 341 р.

В книге Рады Аллой представлены двенадцать тщательно разра­ботанных ав...


Все путеводители
 
  Copyright © 2010 — 2018 Книги