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