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

eng|rus

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

Поиск :

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

Электронный каталог: Мандрыкин, М. У. - Анализ регионов для дедуктивной верификации Си-программ

Мандрыкин, М. У. - Анализ регионов для дедуктивной верификации Си-программ

Статья
Автор: Мандрыкин, М. У.
Программирование: Анализ регионов для дедуктивной верификации Си-программ
б.г.
ISBN отсутствует

На полку

Статья

Мандрыкин, М. У.
Анализ регионов для дедуктивной верификации Си-программ / М. У. Мандрыкин, А. В. Хорошилов // Программирование. – 2016. – N.5. – С. 3-29.

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