Малаховски Ян Михайлович

Место работы: Университет ИТМО
Должность: студент
E-mail: trojan@rain.ifmo.ru
Корнеев Г. А., Малаховски Я. М. ВАЛИДАЦИЯ АВТОМАТОВ С ПЕРЕМЕННЫМИ НА ФУНКЦИОНАЛЬНЫХ ЯЗЫКАХ ПРОГРАММИРОВАНИЯ
Статья опубликована в выпуске №6, том 10, 2010
Малаховски Я. М., Корнеев Г. А. ПРИМЕНЕНИЕ ЗАВИСИМЫХ СИСТЕМ ТИПОВ СО СТРУКТУРНОЙ ИНДУКЦИЕЙ ДЛЯ ВЕРИФИКАЦИИ РЕАКТИВНЫХ ПРОГРАММ
Статья опубликована в выпуске №6, том 12, 2012
Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика