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

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

Начальный элемент ввода: "Computer science in Russia", international symposium
Дата проведения временной организации: 2011
Место проведения временной организации: Saint-Petersburg

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

Текст примечания: Проходил в рамках семинара, издания которого см. в каталоге:
Точка доступа, к которой делается ссылка: "Program semantics, specification and verification: theory and application", workshop. (2; 2011; Saint-Petersburg)
: RU\NLR\AUTH\8810224745

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

Управление связями: z
Начальный элемент ввода: International symposium "Computer science in Russia"
Дата проведения временной организации: 2011
Место проведения временной организации: Saint-Petersburg

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

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

Управление связями: z0
Начальный элемент ввода: "Program semantics, specification and verification: theory and application", workshop
Порядковый номер временной организации и / или номер ее части: 2
Дата проведения временной организации: 2011
Место проведения временной организации: Saint-Petersburg
Идентификатор авторитетной / нормативной записи: RU\NLR\AUTH\8810224745

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

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

Название источника: Second workshop "Program semantics, specification and verification: theory and application". - Yaroslavl, 2011.
Найденная информация: (Проходил 12-13 июня.)

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

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

943 ## -