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

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

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

С. В. Яхонтов

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

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

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

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

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

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

Тираж: 230 экз.

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

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

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


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

Лови момент. 228 идей для создания незабываемых фо...

Лови момент. 228 идей для создания незабываемых фото
Цена: 1 327 р.

Написанная именитым фотографом Джорджем Лэнгом, эта книга проповедует ...

Роксолана и Сулейман. Возлюбленные "Великолепного ...

Роксолана и Сулейман. Возлюбленные "Великолепного века"
Цена: 509 р.

Впервые! Два бестселлера одним томом! Двойной портрет самой пре­красно...

Великий Александр Невский

Великий Александр Невский
Цена: 563 р.

Кто с мечом к нам придет - от меча и погибнет. На том стояла и стоять ...


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