logologo
(812)328-44-22

Стоимость: 270 руб

Купить

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

Автор:Яхонтов С. В.

Год издания:2014

Сведения об издании:СПб.: Изд-во С.-Петерб. ун-та, 2014. — 146 с. ISBN 978-5-288-05544-7

Количество страниц:146

 

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

Основные партнёры