История поисков

=LDR  00000cx\\a2200229\\\45\\
=001  BY-SEK-ar1772096
=005  20221005123627.2
=100  \\$a20100928arusy50\\\\\\ca0
=101  \\$arus$aeng
=102  \\$aRU
=120  \\$aba
=152  \\$apsbo$bBY-auth
=106  \\$a0
=200  \1$aКорныхин$bЕ. В.$gЕвгений Валерьевич$cкандидат физико-математических наук$fрод. 1984
=340  \\$aМесто рождения: г. Череповец, Вологодская область, Россия. Математик, специалист в области математического и программного обеспечения вычислительных машин, комплексов и компьютерных сетей. Кандидат физико-математических наук. Окончил МГУ им. М. В. Ломоносова (факультет вычислительной математики и кибернетики, 2006; аспирантура, 2009). С 2007 – в Институте системного программирования РАН, научный сотрудник, одновременно с 2010 – в МГУ им. М. В. Ломоносова, доцент кафедры системного программирования (информ. на 2022 г.).
=340  \\$aНаучные интересы: формальные методы разработки программ; методы спецификации и верификации программ; методы автоматизации тестирования программ и микропроцессоров; технологии программирования.
=400  \1$8ruseng$7ca0yba0b$aKornykhin$bE.$gEugene$cкандидат физико-математических наук$fрод. 1984
=801  \2$aBY$bBY-HM0000$c20221005
=801  \0$aBY$bSEK$c20100928
=810  \\$aПостроение тестовых программ для проверки подсистем управления памяти микропроцессоров : автореферат диссертации ... кандидата физико-математических наук : 05.13.11 / Корныхин Евгений Валерьевич. ― Москва, 2010.
=856  4\$uhttps://cs.msu.ru/persons/kornykhin-e-v$zСайт факультета вычислительной математики и кибернетики МГУ им. М. В. Ломоносова.$zДата обращения: 05.10.2022.
=999  \\$g3427 NLB-NDARD$t20221005