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