СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков

Справка

    Математик. Кандидат физико-математических наук, доцент. Заведующий лабораторией теоретического программирования Института систем информатики им. А. П. Ершова Сибирского отделения РАН, г. Новосибирск (информ. на 2020 г.).
    Научные интересы: верификация распределенных систем; верификация программ; сети Петри; системы анализа и верификации; спецификация программ; семантика программ.

        Вариантная форма имени

Nepomniaschy, V. A. (род. 1939) (английский язык)

Nepomnyashchy, V. A. (род. 1939) (английский язык)

        Источники информации
    Исследование базисов и достаточных классов рекурсивных функций : автореферат диссертации ... кандидата физико-математических наук / Непомнящий Валерий Александрович. — Новосибирск, 1967.
    Сайт Института систем информатики им. А. П. Ершова Сибирского отделения РАН. Дата обращения: 21.09.2020.
    Сайт "eLIBRARY.RU". Дата обращения: 21.09.2020.
    Генеральный алфавитный каталог книг на русском языке (1725–1998) Российской национальной библиотеки. Информация: год рождения. Дата обращения: 21.09.2020.