Узнать больше
Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики
Портал
Об университете
Административные подразделения
Институты и факультеты
Работа в Университете ИТМО
Магистратура
Аспирантура
Расписание занятий
Расписание сессии
Сетевые ресурсы
Образовательная деятельность
Научная деятельность
Международная деятельность
Абитуриент
Совет обучающихся
Медиапортал
Репозиторий Openbooks
Корпоративный портал ИСУ
Новости университета
Мероприятия университета
Компоненты сайта
Назад
Язык
Russian
English
Open
Books
Статьи
По авторам
Лукин Михаил Андреевич
в статьях
в учебных изд.
в материалах конференций
в PDF-файлах
в статьях
в статьях
в учебных изд.
в материалах конференций
в PDF-файлах
Не искать по автору
Искать по автору
Например,
Бобцов
Статьи
По авторам
Лукин Михаил Андреевич
Лукин Михаил Андреевич
Статья
ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ С ИСПОЛЬЗОВАНИЕМ ВЕРИФИКАТОРА SPIN
Шалыто А. А., Лукин М. А.
Статья
ВЕРИФИКАЦИЯ ПАРАЛЛЕЛЬНЫХ АВТОМАТНЫХ ПРОГРАММ
Лукин М. А.
Сортировать
По дате публикации
По авторам
Содержание © 1993–2025 Университет ИТМО
Разработка © 2015 Университет ИТМО