Описание

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

Отзывы

Довольные покупатели написали отзыв о Сергей Викторович Яхонтов Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог. Отзывы также могут служить платформой для разрешения проблем. Если покупатели сталкиваются с недостатками товара Сергей Викторович Яхонтов Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог или недовольством обслуживанием, они могут оставить отзыв, который станет сигналом для продавца. В ответ на негативные комментарии многие компании стараются улучшить свои услуги и предложить компенсации, что демонстрирует их готовность работать над ошибками и заботиться о клиентах.

Доставка

Условия и стоимость доставки могут варьироваться в зависимости от интернет-магазина и региона. Многие магазины предлагают бесплатную доставку Сергей Викторович Яхонтов Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог, что стимулирует покупателей тратить больше. Важно также учитывать дополнительные сборы, которые могут возникнуть при доставке, такие как упаковка или доставка в удаленные районы. Всегда стоит внимательно изучать условия перед оформлением заказа.

Характеристики