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

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

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

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

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

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

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

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

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

• Начальный элемент ввода: Workshop on program semantics, specification and verification: theory and application"
• Порядковый номер временной организации и / или номер ее части: 9
• Дата проведения временной организации: 2018
• Место проведения временной организации: Moscow
• Управление связями: z
• : АФ

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

• Начальный элемент ввода: IX International workshop on program semantics, specification and verification: theory and application"
• Дата проведения временной организации: 2018
• Место проведения временной организации: Moscow
• Управление связями: z
• : АФ

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

• Начальный элемент ввода: 9 Workshop PSSV
• Дата проведения временной организации: 2018
• Место проведения временной организации: Moscow
• Управление связями: z
• : АФ

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

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

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

• Название источника: 9th workshop "Program semantics, specification and verification: theory and applications" dedicated to the memory of B. A. Trakhtenbrot, M. I. Dekhtyar, and M. K. Valiev: 9th Workshop PSSV: proceedings. - Yaroslavl, 2018.
• Найденная информация: Проходил 21-22 июня.

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

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

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

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