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

12+

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

ISBN: Санкт-Петербургский государственный университет

Год выпуска: 2014

Тип: book

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

Доступна для скачивания после оплаты

Рекомендуем

Джон Ноулз
Сепаратный мир

Аркадий и Борис Стругацкие
Пикник на обочине + лекция Дмитрия Быкова

Алексей Васильевич Шатров
Формула

Марсель Дан
Эйлин из княжества Андорра

Дмитрий Распопов
Ремесленники душ. Исповедники

Милена Завойчинская
Право Черной Розы

Клэр Норт
Совершенство

Л. Н. Кечиев
Печатные платы и узлы гигабитной электроники

Федор Иванов
Альтернативные энергоносители на автотранспорте: эффективность и перспективы

Отсутствует
Библиотека Радзивиллов Несвижской ординации. XIX век: 1831–1865. Книга 1 (А–К) / Library of the Radz

Отсутствует
Библиотека Радзивиллов Несвижской ординации. XIX век: 1831–1865. Книга 2 (L–P) / Library of the Radz

Коллектив авторов
Государственное регулирование институционального развития экономики Беларуси