Ярославский государственный университет им. П. Г. Демидова
Версия для слабовидящих
ru
en
Факультет информатики и вычислительной техники
Факультет
История
Кафедры
Ученый совет факультета
Сотрудники
Новости
События
Образование
Наука
Научные школы
Публикации
Проекты
Студенческая наука
Абитуриенту
Подготовка к поступлению
Олимпиада по информатике
Поступить на факультет
Иностранным гражданам
Ваша карьера
Контакты
Главная
Наука
Публикации
On the Expressiveness of the Approach to Constructing PLC-programs by LTL-Specification
On the Expressiveness of the Approach to Constructing PLC-programs by LTL-Specification
Научные школы
Публикации
Проекты
Студенческая наука
35
лет факультету
Более 2000
выпускников
Подавать сертификаты ЕГЭ вместе с другими документами не нужно, ваши баллы будут проверяться в федеральной базе.
Карта сайта
Главная страница
Факультет
История
Кафедры
Ученый совет факультета
Сотрудники
Новости
События
Образование
Наука
Научные школы
Публикации
Проекты
Студенческая наука
Абитуриенту
Подготовка к поступлению
Олимпиада по информатике
Поступить на факультет
Иностранным гражданам
Ваша карьера
Контакты