> Главная
RUS ENG

Профессорские лекции в "Корабелке" >
< Грант фонда "Династия"
05.11.2014 14:00 Давность: 6 yrs
Категория: Семинар

Верификация автоматных программ

Лукин М.А. (ИТМО)



<- назад в: Главная
  • О кафедре
  • Абитуриенту
  • Наши достижения
  • Проекты
  • Учебная работа
  • Научная работа
  • Конференции
  • Сотрудничество
  • Инновации в образовании
  • Книги
  • Интранет

mailto: webmaster@dcn.ftk.spbstu.ru