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

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

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

• Начальный элемент ввода: "Program semantics, specification and verification: theory and application", workshop
• Порядковый номер временной организации и/или номер ее части.: 3
• Дата проведения временной организации: 2012
• Место проведения временной организации: Nizhni Novgorod

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

• Текст примечания: Проходил в рамках симпозиума, издания которого см. в каталоге:
• Точка доступа, к которой делается ссылка: "Computer science in Russia", international symposium. (7; 2012; Nizhni Novgorod)
• : RU\NLR\AUTH\8810225890

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

• Управление связями: z
• Начальный элемент ввода: Workshop "Program semantics, specification and verification: theory and application"
• Порядковый номер временной организации и / или номер ее части: 3
• Дата проведения временной организации: 2012
• Место проведения временной организации: Nizhni Novgorod

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

• Управление связями: z
• Начальный элемент ввода: Third workshop "Program semantics, specification and verification: theory and application"
• Дата проведения временной организации: 2012
• Место проведения временной организации: Nizhni Novgorod

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

• Управление связями: z
• Начальный элемент ввода: 3 Workshop "Program semantics, specification and verification: theory and application"
• Дата проведения временной организации: 2012
• Место проведения временной организации: Nizhni Novgorod

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

• Управление связями: z
• Начальный элемент ввода: III Workshop "Program semantics, specification and verification: theory and application"
• Дата проведения временной организации: 2012
• Место проведения временной организации: Nizhni Novgorod

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

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

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

• Управление связями: z0
• Начальный элемент ввода: "Computer science in Russia", international symposium
• Порядковый номер временной организации и / или номер ее части: 7
• Дата проведения временной организации: 2012
• Место проведения временной организации: Nizhni Novgorod
• Идентификатор авторитетной / нормативной записи: RU\NLR\AUTH\8810225890

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

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

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

• Название источника: Third workshop "Program semantics, specification and verification: theory and application". - Nizhni Novgorod, 2012.
• Найденная информация: (Проходил 1-2 июля.)

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

• Заголовок составил: 11 2012 АС
• Оператор: Алиса

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

• Тип коллектива: workshop
• Страна: Российская Федерация
• Основа наименования: Program semantics specification verification theory application