К. Рустан М. Лейно

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

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

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

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

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

В каталоге с24.09.2026

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

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

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

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

Программирование и IT, Разработка и программирование

[ДМК] Доказательство корректности программ [К. Рустан, М. Лейно]

К. Рустан, К. Рустан М. Лейно, М. Лейно

Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спе

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

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

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

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

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

Sigh Energy ↗︎Разработка и программирование
HTML ACADEMY ↗︎Разработка и программирование
Антон Ковалевский ↗︎Разработка и программирование
Дмитрий Лаврик ↗︎Разработка и программирование
IT Master ↗︎Разработка и программирование
Иосиф Дзеранов ↗︎Разработка и программирование

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