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

16+
Нет отзывов

Купил 1 человек

Аннотация

В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Издательство
ПереплетМягкий переплёт
Страниц146
Год, тираж2014, 230 экз.
779 ₽649 ₽-17%

Последний экземпляр

как получить заказ

В сб, 12 сентября — бесплатно
  • В пн, 14 сентября — от 243 ₽
  • КурьеромВ вс, 13 сентября — от 314 ₽
  • Почтой РоссииВ пн, 14 сентября — от 556 ₽

Отзывы

0

Уже читали эту книгу? Поделитесь вашим мнением!

Описание и характеристики

В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Код323969
Издательство
Автор
ПереплетМягкий переплёт
Кол-во страниц146
Год издания2014
Тираж230 экз.
ISBN978-5-288-05544-7
РазделМатематика
Размеры0.01 см × 0.01 см × 0.01 см
Вес0.5 кг
В интернет-магазине «Буквоед» есть книга «Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог» от автора Яхонтов Сергей Викторович. Сделать заказ можно из любого города России: от Санкт-Петербурга и Москвы до Казани и Краснодара. Получите «Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог» в магазине сети или закажите доставку. Мы и сами любим читать, поэтому делаем всё, чтобы вы могли купить понравившуюся историю по приятной цене. Например, организуем конкурсы и проводим акции. Оставайтесь с нами, чтобы не упустить выгоду!