Каталог печатных изданий библиотеки НИУ ВШЭ

eng|rus

Пожалуйста, бронируйте контрольные экземпляры только тех книг, которых нет
в наличии ни в читальных залах, ни в открытом доступе, ни на научном абонементе.
По вопросам доступа к электронному каталогу обращайтесь в
отдел информационных систем и электронных ресурсов Библиотеки

Поиск :

Личный кабинет :

Электронный каталог: Авдошин, С. М. - Обзор методов верификации смарт-контрактов

Авдошин, С. М. - Обзор методов верификации смарт-контрактов

Статья
Автор: Авдошин, С. М.
Информационные технологии: Обзор методов верификации смарт-контрактов
б.г.
ISBN отсутствует

На полку

Статья

Авдошин, С. М.
Обзор методов верификации смарт-контрактов / С. М. Авдошин, А. М. Литвиненко // Информационные технологии. – 2025. – Т.31, N.1. – С. 42-53.

общий = Труды сотрудников НИУ ВШЭ : Авдошин С. М.
общий = Информатика и вычислительная техника = computer science and technology