Автор Логинов Иван Павлович Научно-Технический Вестник информационных технологий, механики и оптики

2024 , ТОМ 24, НОМЕР 2 ( март-апрель )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Меню

Публикации

Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор

Партнеры

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

Место работы: Университет ИТМО, Санкт- Петербург, 197101, Российская Федерация
Должность: ассистент
E-mail: ivan.p.loginov@gmail.com
Scopus ID: 56719519200
ORCID: 0000-0002-6254-6098

Дергачев А. М., Садырин Д. С., Ильина А. Г., Логинов И. П., Кореньков Ю. Д.

ПОДХОД К ВЕРИФИКАЦИИ АЛЛОКАТОРОВ ДИНАМИЧЕСКОЙ ПАМЯТИ, ОСНОВАННЫЙ НА СИМВОЛЬНОМ ВЫПОЛНЕНИИ ПРОГРАММ

Статья опубликована в выпуске №1, том 20, 2020

Логинов И. П., Дергачев А. М., Павловский Е. А.

МЕТОД ОБЕСПЕЧЕНИЯ ПЕРЕНОСИМОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА ОСНОВЕ ПЕРЕНАЦЕЛИВАЕМОЙ СРЕДЫ ВЫПОЛНЕНИЯ ПРОГРАММ

Статья опубликована в выпуске №3, том 20, 2020

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