Запись [200] ИМЯ ЛИЦА

Количество использованных записей: 2

200 #1 - ПРИНЯТАЯ ТОЧКА ДОСТУПА - ИМЯ ЛИЦА

• Начальный элемент ввода: Promskij
• Часть имени, отличная от начального элемента ввода: A. V.
• Расширение инициалов личного имени: Aleksej Vladimirovič

300 0# - СПРАВОЧНОЕ ПРИМЕЧАНИЕ

• Текст примечания: Канд. физ.-мат. наук. Научный сотрудник лаборатории теорет. программирования Ин-та систем информатики им. А. П. Ершова СО РАН. Область научных интересов : математическое и программное обеспечение вычислительных машин.

400 #1 - ВАРИАНТНАЯ ТОЧКА ДОСТУПА - ИМЯ ЛИЦА

• Начальный элемент ввода: Promsky
• Часть имени, отличная от начального элемента ввода: A. V.
• Управление связями: z

700 #1 - ПРИНЯТАЯ ТОЧКА ДОСТУПА НА ДРУГОМ ЯЗЫКЕ И/ИЛИ В ДРУГОЙ ГРАФИКЕ - ИМЯ ЛИЦА

• Начальный элемент ввода: Промский
• Часть имени, отличная от начального элемента ввода: А. В.
• Расширение инициалов личного имени: Алексей Владимирович
• Идентификатор авторитетной / нормативной записи: RU\NLR\AUTH\7756503

801 #0 - ИСТОЧНИК ЗАПИСИ

• Страна: RU
• Организация: NLR
• Дата составления: 20070927

810 ## - ИСТОЧНИК, В КОТОРОМ ВЫЯВЛЕНА ИНФОРМАЦИЯ О ТОЧКЕ ДОСТУПА

• Название источника: Применение трехуровневого подхода к верификации программ на языке C#-LIGHT/ А. В. Промский. - Новосибирск, 2006.

810 ## - ИСТОЧНИК, В КОТОРОМ ВЫЯВЛЕНА ИНФОРМАЦИЯ О ТОЧКЕ ДОСТУПА

• Название источника: ГАКин. РНБ.

810 ## - ИСТОЧНИК, В КОТОРОМ ВЫЯВЛЕНА ИНФОРМАЦИЯ О ТОЧКЕ ДОСТУПА

• Название источника: ЭК РНБ "Издания на иностранных языках (1994- )".

810 ## - ИСТОЧНИК, В КОТОРОМ ВЫЯВЛЕНА ИНФОРМАЦИЯ О ТОЧКЕ ДОСТУПА

• Название источника: Интернет : http://www.iis.nsk.su :
• Найденная информация: биогр. сведения.

830 ## - ОБЩЕЕ ПРИМЕЧАНИЕ КАТАЛОГИЗАТОРА

• Текст примечания: М