- Эзотерика
- Журналистские расследования. Публицистика
- Досуг. Развлечения
- История. Социология. Политика
- Кулинария. Ремесла
- Естественные и технические науки
- Культура. Искусство
- Экономика. Бизнес
- Биографии. Мемуары
- Психология
- Туризм. Путешествия. Путеводители
- Спорт
- Медицина
- Дизайн. Мода. Фотография
- Философия. Религия
- Педагогика. Воспитание
- Музыка
- Артбуки. Вселенные
Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог; СПбГУ, 2014
Где купить (2)
Цена от 679 р. до 679 р. в 2 магазинах
Магазин | Цена | Наличие |
---|---|---|
Магазин | Последняя известная цена | Обновлено |
---|---|---|
ЛитРес | 279 р. |
Описание
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются основные возможности языка Spec# и системы программирования Spec#, предназначенной для работы с ним. Учебное пособие предназначено студентам, магистрантам и аспирантам, обучающимся по направлению подготовки 010500 - Математическое обеспечение и администрирование информационных систем и специализирующимся в области теоретической и практической информатики.
Смотри также о книге.
О книге
Параметр | Значение |
---|---|
Автор(ы) | Яхонтов Сергей Викторович |
Переплет | 200.00mm x 145.00mm x 8.00mm |
Издатель | СПбГУ |
Год издания | 2014 |
Раздел | Физические науки |
ISBN | 978-5-288-05544-7 |
Возрастное ограничение | 16+ |
Количество страниц | 146 |
Страниц | 146 |
Переплёт | мягкий |
Формат | 200.00mm x 145.00mm x 8.00mm |
Тематика | Физика и математика |
Тираж | 230 |
Кол-во страниц | 146 |
Отзывы (0)
Добавить отзыв
Книги: Научная литература - издательство "СПбГУ"
Категория 543 р. - 814 р.
Книги: Научная литература
Категория 543 р. - 814 р.