Камкин А

В каталоге — 1 курсов на 1 площадках. Основные темы: Другие иностранные языки, Фитнес и тренировки. Сравните содержание и предложения; сначала показаны новые публикации источников.

Имя «Камкин А» указано площадками в роли автора представленных ниже программ. Здесь собрана информация из карточек курсов; биографические сведения появятся только вместе с источником.

1Всего курсов

Роль в источникахАвтор

ПлощадкиСкладчик

В каталоге с25.09.2026

Где представлены курсы

Складчик — 1 курсов

Новые курсы и программы

Мы включили курсы, где площадка прямо указала это имя. У разных выпусков может отличаться программа и доступ.

Иностранные языки, Другие иностранные языки, Здоровье и спорт, Фитнес и тренировки

[ДМК] Введение в формальные методы верификации программ [Александр Камкин]

Александр Камкин, Камкин А

Верификацией называется процесс проверки соответствия программы требованиям (выяснения, является программа правильной или ошибочной). Данная книга посвящена важнейшему классу методов верификации — формальным методам и включает 15 лекций, сопровождаемых вопросами для самопроверки и упражнениями.

Полное описание курса

Программа: Уточняется
Время записей: Не указано
Публикация на площадке: 24 октября 2024 г.

СкладчикВзнос 160 ₽Последние полученные условия; требуется повторная проверка.Площадки и цены

Ещё авторы по этим темам

У этих авторов есть курсы по тем же направлениям.

Виктория Боровская ↗︎Другие иностранные языки · Фитнес и тренировки
Бронислав Виногродский ↗︎Другие иностранные языки · Фитнес и тренировки
Музеи Кремля ↗︎Другие иностранные языки · Фитнес и тренировки
Level One ↗︎Другие иностранные языки · Фитнес и тренировки
Александра Бонина ↗︎Другие иностранные языки · Фитнес и тренировки
Константин Михайлов ↗︎Другие иностранные языки · Фитнес и тренировки

Материалы по теме…