КаталогКниг.РФ Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог (Яхонтов Сергей Викторович) ; СПбГУ, 2014
Сравнить цены
Цена от 679 р. до 679 р. в 2 магазинах
| Магазин | Цена | Наличие |
|---|---|---|
| Буквоед 5/5 | 679 р. Минимальная сумма заказа 100 рублей | |
| Book24 5/5 | 679 р. | |
| AliExpress 5/5 | ||
| Лабиринт 5/5 | ||
| Читай-город 5/5 | ||
| МАЙШОП 5/5 | Один из первых книжных интернет-магазинов, работающий с 2002 года | |
| Яндекс.Маркет 5/5 | ||
| Мегамаркет 5/5 | ||
Описание
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Смотри также Характеристики.
Яндекс.Маркет
О книге
| Автор(ы) | Яхонтов Сергей Викторович |
| Раздел | Физические науки |
| Издатель | СПбГУ |
| ISBN | 978-5-288-05544-7 |
| Возрастное ограничение | 16+ |
| Год издания | 2014 |
| Количество страниц | 146 |
| Переплет | 200.00mm x 145.00mm x 8.00mm |
| Кол-во страниц | 146 |
1 ms.
Книги где авторы: Яхонтов Сергей Викторович
Похожие товары
Категория 543 р. - 814 р.
