Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИПМех РАН
Главная
Поиск
Статистика
О проекте
Помощь
Графовое представление функциональных программ и основанный на нем метод верификации функциональных программ
статья
Статья опубликована в журнале из перечня ВАК
Дата последнего поиска статьи во внешних источниках: 10 июня 2020 г.
Автор:
Миронов А.М.
Журнал:
Системы высокой доступности
Том:
15
Номер:
4
Год издания:
2019
Издательство:
Издательство "Радиотехника"
Местоположение издательства:
Москва
Первая страница:
49
Последняя страница:
74
DOI:
10.18127/j20729472-201904-05
Добавил в систему:
Миронов Андрей Михайлович