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

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

Вы здесь

  • Главная
  • Медиатека
  • О современных методах автоматической формальной верификации аппаратного обеспечения
  • Войдите, чтобы отправлять комментарии

О современных методах автоматической формальной верификации аппаратного обеспечения

Курс Хит
Партнёр:
  • Computer Science клуб при ПОМИ РАН
Предмет:
  • Computer Science
Лектор:
Арист Кожевников

Лекции курса

2
О современных методах автоматической формальной верификации аппаратного обеспечения. Лекция 1
Computer Science клуб при ПОМИ РАН
Арист Кожевников
 2426

О современных методах автоматической формальной верификации аппаратного обеспечения. Лекция 3
Computer Science клуб при ПОМИ РАН
Арист Кожевников
 1813

Разделы

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

Медиатека

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

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

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

Партнёрам

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

Видеосъёмка

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

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

Медиагранты

Публикация

Реклама

Реквизиты

Инфо

О Лекториуме

Вакансии

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

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

Контакты

Оферта

Команда

Логотипы

Соцсети

ВКонтакте

YouTube

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