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

Яхонтов С. В.

в наличии

Цена в интернет-магазине: 469,00 руб.

ISBN: 978-5-288-05544-7
Внешнее покрытие издания: в обл.
Тираж издания: 230
Фамилия автора в заголовке: Яхонтов
Инициалы автора (личного имени (имен)): С. В.
Код отношений (роль соавтора в издании): 070 Автор
Основное заглавие: Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ
Сведения, относящиеся к заглавию: Учеб. пособие
Первые сведения об ответственности: С. В. Яхонтов
Место издания: Санкт-Петербург
Издатель: Издательство СПбГУ
Дата издания: 2014
Объем издания (количество страниц): 146
Высота, см.: 20
Определитель УДК: (075)
Индекс УДК: 519.6
Статус записи (Тип информации): В наличии
Ширина, см: 14,5
Толщина, см: 0,7
Вес в граммах: 165
Индекс ББК: 22.18
Артикул: 2757224

Описание

В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ.