Перейти к основному содержанию
  • Лекториум

  • Меню
  • Онлайн-курсы
  • Медиатека
  • Онлайн-школы
  • Courses in English
  • Войти

Вы здесь

  • Главная
  • Медиатека
  • Антон Трунов

Антон Трунов

Курсы

Введение в язык формальной верификации Coq
Computer Science Center
Антон Трунов
Курс (2)
 

Лекции

Введение в язык формальной верификации Coq. Лекция 2
Computer Science Center
Антон Трунов
 

Введение в язык формальной верификации Coq. Лекция 1
Computer Science Center
Антон Трунов
 

Разделы

Онлайн-курсы

Медиатека

Онлайн-школы

Конференция Парсек

Чаты и общение

Партнёрам

Издательство

Видеосъёмка

Обучение сотрудников

Платформа Эдуардо

Медиагранты

Публикация

Реклама

Реквизиты

Инфо

О Лекториуме

Вакансии

Поддержать проект

Правовая информация

Контакты

Оферта

Команда

Логотипы

Соцсети

ВКонтакте

YouTube

Одноклассники