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

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

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

5 Commments

  1. Жители Трои с удивлением рассматривали, как захватчики присвоили себе их имущество. С тобой будет веселей, красавица.

  2. Я считаю, что это просто преступление перед психологическим благополучием нации. Нелли вспомнила, что такое женское счастье.

  3. Потом достанем эту связку и выкинем. Да чтоб они все попередохли где попало.

  4. Возопила простоволосая, слегка пьяненькая попадья прихода, решившая вспомнить молодость, в канун страстной недели, когда она свободная от предрассудков, носила юбочку из плюша, активно мела подолом на танцплощадках и в ближайших к ним кустах.