Меню

Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог; СПбГУ, 2014

  • Издатель: СПбГУ
  • ISBN: 978-5-288-05544-7
  • Книги: Физика и математика
  • ID:1968295
Где купить

Описание Характеристики Цены Отзывы (0)

Сравнить цены

Последняя известная цена от 9 р. до 23 р. в 3 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

МагазинЦенаНаличие
OMA BY
5/5
Информация о компании
Крупнейшая в Беларуси оптовая и розничная торговая сеть строительных материалов и инструментов
Algo BY
5/5
Информация о компании
Мы предлагаем профессиональную консультацию, вежливое обслуживание, честные цены и быструю и аккуратную доставку
✔ Промокоды на скидку
OZ BY
5/5
Информация о компании
Мы трудимся, чтобы предложить максимальный выбор: товаров, способов оплаты, вариантов доставки — и лучший сервис
✔ Промокоды на скидку
24shop BY
5/5
Информация о компании
24shop - это возможность приобрести все необходимое в одном месте
Домотехника
5/5
Информация о компании
21vek BY
5/5
Информация о компании
Быстрая доставка. Мы доставляем товар по всей Беларуси в удобное для вас время
Лабиринт
5/5
ООО "ЛАБИРИНТ.РУ"
ИНН: 7728644571
Заказ от 800 рублей мы привезем бесплатно!
Яндекс.Маркет
5/5
ООО "ЯНДЕКС"
ИНН: 7736207543
✔ Промокоды на скидку

Описание

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

Смотри также о книге.

О книге


ПараметрЗначение
Автор(ы)
Переплет200.00mm x 145.00mm x 8.00mm
ИздательСПбГУ
Год издания2014
РазделФизические науки
ISBN978-5-288-05544-7
Возрастное ограничение16+
Количество страниц146
Страниц146
Переплётмягкий
Формат200.00mm x 145.00mm x 8.00mm
ТематикаФизика и математика
Тираж230
Кол-во страниц146


Отзывы (0)


Смотреть отзывы на Яндекс.Маркете
Зарегистрируйтесь и получайте бонусы за покупки!


Книги: Научная литература СПбГУ

Категория 7 р. - 11 р.

Управление проектами в области социального предпринимательства: учебное пособие
0/5 от 8 р.
Философская аналитика цифровой эпохи
0/5 от 8 р.
Люминисценция полупроводниковых кристаллов
0/5 от 8 р.
Романтические контексты Набокова
0/5 от 8 р.
Деловой русский на каждый день: учебно-методическое пособие
5/5 от 8 р.
Грамматика китайского языка
5/5 от 8 р.
История Российской научно-популярной прессы в социально-культурном контексте
0/5 от 8 р.
Давайте говорить как петербуржцы
0/5 от 8 р.
Школьные олимпиады СПбГУ 2021 Иностранные языки Учебно-методическое пособие
0/5 от 8 р.
Организация информационно-экскурсионной деятельности
0/5 от 8 р.
Предел последовательности Учебное пособие
0/5 от 8 р.
Предел функции Непрерывность Учебное пособие
0/5 от 8 р.
Маргарита Васильевна Разумовская: in memoriam
0/5 от 8 р.
Обществознание. Человек и общество. Том 1
0/5 от 8 р.
Языки и культуры: междисциплинарные исследования
0/5 от 9 р.
Антиоксиданты растений
0/5 от 9 р.
Грамматическая категория аспекта и контекст (на материале испанского и русского языков)
0/5 от 9 р.
Школьные олимпиады СПбГУ 2018. Социология: учеб.метод.пособие
0/5 от 10 р.
Обществознание. Социальная и политическая сферы жизни общества. Право в системе общественных отношен…
0/5 от 10 р.
Обществознание. Духовная и экономическая сферы жизни общества. Том 2
5/5 от 10 р.
update
Все Физика и математика СПбГУ »

Книги: Научная литература

Категория 7 р. - 11 р.

Голубиная книга: истоки и смысл
0/5 от 8 р.
Под ударением
0/5 от 11 р.
Космическая мифология. От марсианских атлантов до лунного заговора
0/5 от 10 р.
Занимательная астрономия (покет)
0/5 от 8 р.
Семь этюдов по физике
4/5 от 10 р.
Породы лошадей. Узнайте все о породах лошадей
0/5 от 11 р.
Лаготто романьоло. Питание, воспитание, характер, обучение и многое другое о итальянской водяной соб…
0/5 от 11 р.
Турецкий для детей. Учимся читать, писать, считать
0/5 от 8 р.
Кто мы такие? Гены, наше тело, общество + покет
5/5 от 11 р.
С первой фразы: Как увлечь читателя, используя когнитивную психологию + Покет-серия
5/5 от 10 р.
Клудж Случайное устройство человеческого мозга и как это сделало нас теми кто мы есть
5/5 от 8 р.
Тесты, тесты, тесты… Элементарный уровень. Базовый уровень. I сертификационный уровень
5/5 от 11 р.
Музыка и мозг: Как музыка влияет на эмоции, здоровье и интеллект
5/5 от 10 р.
#панталоныфракжилет: Что такое языковые заимствования и как они работают
0/5 от 10 р.
-4%
Говори красиво и уверенно. Постановка голоса и речи
5/5 от 11 р.
-4%
Восстание машин отменяется! Мифы о роботизации
5/5 от 10 р.
Физика невозможного
5/5 от 10 р.
Структура реальности. Наука параллельных вселенных
4/5 от 11 р.
Добродетель эгоизма
5/5 от 9 р.
Книга Защити Свой Главный Актив
0/5 от 8 р.
Начало бесконечности: Объяснения, которые меняют мир
4/5 от 8 р.
update

Книги: Научная литература: другие издатели

⬆ ❤ закладки (0) ✔ сравнение (0)

24 ms