Перейти к основному содержанию
Электронный каталог
Ваша подборка пуста.
Подборка
Избранное
Общие папки
Александр Невский
Просмотреть все
Языки
Русский
中文
Ваши файлы cookie
История поисков
Очистить
Российская национальная библиография
Главная
О проекте
Книжная память России
Расширенный поиск
100 языков России
Каталог
Заглавие
Автор
ISBN
ISSN
Место издания
Заглавие серии
Расширенный поиск
Поиск по авторитетным записям
Библиотеки
Кабинет библиотеки-партнера
×
Логин:
Пароль:
Главная
Поиск по авторитетным записям
([210] НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ)
Описание
RUSMARC
"Program semantics, specification and verification: theory and application", workshop
([210] НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ)
Количество использованных записей: 1
"Program semantics, specification and verification: theory and application", workshop
(5 ; 2014 ; Moscow)
Проходил в рамках симпозиума, издания которого см. в каталоге:.
Системный номер: 431832
Примечания