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

Справка

    Российский специалист в области информатики. Доктор технических наук (1991), профессор (1993). Член Американского математического общества и IEEE. С 1995 г. – организатор и заведующий кафедрой "Распределенные вычисления и компьютерные сети" Института информационных технологий и управления Санкт-Петербургского государственного политехнического университета.
    Автор учебных пособий.
    Научные интересы: проблемы формальных моделей параллельных процессов; моделирование и анализ распределенных систем; верификация параллельных и распределенных алгоритмов и др.

        Источники информации
    Model checking : верификация параллельных и распределенных программных систем : [для студентов вузов, программистов и исследователей в области информатики] / Ю. Г. Карпов. ― Санкт-Петербург, 2010.
    Электронный каталог Российской национальной библиотеки. Информация из Авторитетного файла. Дата обращения: 01.02.2022.
    Сайт "MathNet". Дата обращения: 01.02.2022.
    Сайт Санкт-Петербургского государственного политехнического университета. Дата обращения: 01.02.2022.
    Сайт "Википедия". Дата обращения: 01.02.2022.