Логинов Иван Павлович

Место работы: Университет ИТМО, Санкт- Петербург, 197101, Российская Федерация
Должность: ассистент
E-mail: ivan.p.loginov@gmail.com
Scopus ID: 56719519200
ORCID: 0000-0002-6254-6098
Дергачев А. М., Садырин Д. С., Ильина А. Г., Логинов И. П., Кореньков Ю. Д.
ПОДХОД К ВЕРИФИКАЦИИ АЛЛОКАТОРОВ ДИНАМИЧЕСКОЙ ПАМЯТИ, ОСНОВАННЫЙ НА СИМВОЛЬНОМ ВЫПОЛНЕНИИ ПРОГРАММ

Статья опубликована в выпуске №1, том 20, 2020
Логинов И. П., Дергачев А. М., Павловский Е. А.
МЕТОД ОБЕСПЕЧЕНИЯ ПЕРЕНОСИМОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА ОСНОВЕ ПЕРЕНАЦЕЛИВАЕМОЙ СРЕДЫ ВЫПОЛНЕНИЯ ПРОГРАММ

Статья опубликована в выпуске №3, том 20, 2020
Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

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