Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог СПбГУ
Книга "Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог"
Авторы: Сергей Викторович Яхонтов
Издатель: СПбГУ
Год издания 2014
Страниц: 146
ISBN: 978-5-288-05544-7
Описание
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Характеристики
- Наименование Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог
- Категория Книги/Научно-популярные книги/Физико-математические науки/Математика
- Производитель СПбГУ
- Авторы Сергей Викторович Яхонтов
- Издатель СПбГУ
- Год издания 2014
- Всего страниц 146
- ISBN 978-5-288-05544-7
- Способ получения Доставка, самовывоз
- Тип Книга
- Продавец Буквоед
- Актуальность 05.11.2026
Еще в этой категории
Другие интернет-магазины
