Сергей Яхонтов

 
»
»
Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ
Сергей Яхонтов, Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ

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

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

Автор: Сергей Яхонтов.
Жанр книги: Компьютеры, программы.
Объем: 147 стр.
Возрастное ограничение: 12+
Общее кол-во страниц: 147
Правообладатель: Санкт-Петербургский государственный университет

 
Скачать книгу в форматах fb2, epub, ios.epub, pdf, txt.

Скачать файл...
  Читать эту книгу сначала читать книгу онлайн
Продолжить чтение книги с последнего места продолжить чтение online  

Отзывы о книге, мнения





Добавить отзыв, комментарий.

   
Библиотека aunua.ru