![Крупное изображение Современные методы и инструменты формальных спецификаций дедуктивной верификации императивных прог СПбГУ 978 5 288 05544 7 Современные методы и инструменты формальных спецификаций дедуктивной верификации императивных прог СПбГУ 978 5 288 05544 7](/image/15870/212972212_0.jpg)
Современные методы и инструменты формальных спецификаций дедуктивной верификации императивных прог СПбГУ 978 5 288 05544 7
Цена: 679 руб.
Категория: Научно-популярная литература, Физические науки
Производитель: СПбГУ
Артикул: 978-5-288-05544-7
Модель:
Узнать подробности предложения
Категория: Научно-популярная литература, Физические науки
Производитель: СПбГУ
Артикул: 978-5-288-05544-7
Модель:
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Магазин: book24 RU
ISBN: 978-5-288-05544-7
Объем: 146
Автор: Яхонтов С.В.
Издательство: СПбГУ
Год: 2014
Код номенклатуры: ORS130944709401857
Электронная: Нет
noСкидка: no
![](/img/ico/coupon.png)
Книжные и реальные миры
Дата окончания: 08 июля
Трогательный роман о студенческой любви
Дата окончания: 10 июля
С заботой о близких
Дата окончания: 11 июля
![](/img/ico/chat.png)
![](/img/ico/goods.png)