Запись [210] НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

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

210 12 - ПРИНЯТАЯ ТОЧКА ДОСТУПА - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

• Начальный элемент ввода: A. P. Ershov informatics conference
• Порядковый номер временной организации и/или номер ее части.: 12
• Дата проведения временной организации: 2019
• Место проведения временной организации: Novosibirsk
• : О

305 0# - ССЫЛОЧНОЕ ПРИМЕЧАНИЕ СМ. ТАКЖЕ

• Текст примечания: В рамках конференции проходил семинар:
• Точка доступа, к которой делается ссылка: "Program semantics, specification and verification: theory and application", workshop. (10; 2019; Novosibirsk)
• : RU\NLR\AUTH\880511526

410 12 - ВАРИАНТНАЯ ТОЧКА ДОСТУПА - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

• Начальный элемент ввода: 12 A. P. Ershov informatics conference
• Дата проведения временной организации: 2019
• Место проведения временной организации: Novosibirsk
• Управление связями: z
• : АФ

410 12 - ВАРИАНТНАЯ ТОЧКА ДОСТУПА - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

• Начальный элемент ввода: Ershov informatics conference
• Порядковый номер временной организации и / или номер ее части: 12
• Дата проведения временной организации: 2019
• Место проведения временной организации: Novosibirsk
• Управление связями: z
• : АФ

410 12 - ВАРИАНТНАЯ ТОЧКА ДОСТУПА - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

• Начальный элемент ввода: Informatics conference
• Порядковый номер временной организации и / или номер ее части: 12
• Дата проведения временной организации: 2019
• Место проведения временной организации: Novosibirsk
• Управление связями: z
• : АФ

410 12 - ВАРИАНТНАЯ ТОЧКА ДОСТУПА - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

• Начальный элемент ввода: PSI 19
• Управление связями: d

410 12 - ВАРИАНТНАЯ ТОЧКА ДОСТУПА - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

• Начальный элемент ввода: PSI 2019
• Управление связями: d

510 12 - СВЯЗАННАЯ ТОЧКА ДОСТУПА - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

• Начальный элемент ввода: "Program semantics, specification and verification: theory and application", workshop
• Порядковый номер временной организации и / или номер ее части: 10
• Дата проведения временной организации: 2019
• Место проведения временной организации: Novosibirsk
• Управление связями: z
• : О
• Идентификатор авторитетной / нормативной записи: RU\NLR\AUTH\880511526

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

• Название источника: A. P. Ershov informatics conference, July 2-5, 2019, Novosibirsk, Akademgorodok, Russia: preliminary proceedings.

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

• Название источника: Program semantics, specification and verification: theory and applicationsX Workshop PSSV, July 1-2, 2019, Novosibirsk, Akademgorodok, Russia: abstracts. - Novosibirsk,, 2019.

900 ## - СЛУЖЕБНЫЕ ПОМЕТКИ

• Заголовок составил: 11 2019 МШ
• Оператор: МШ

910 ## - ДОПОЛНИТЕЛЬНЫЕ СВЕДЕНИЯ

• Тип коллектива: conference
• Страна: Российская Федерация
• Основа наименования: Ershov informatics